Proofgold Proposition

∀ x0 x1 x2 . wn (wceq (cv x2) (cv x0)) ⟶ wceq (cv x0) (cv x1) ⟶ ∀ x3 . wceq (cv x0) (cv x1)

type
prop

theory
SetMM

name
ax_13

proof
PUcqv..

Megalodon
-

proofgold address
TMYJ3..

creator
36396 PrCmT../13f72..

owner
36396 PrCmT../13f72..

term root
72ad3..