Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_13_b

proof
PUcqv..

Megalodon
-

proofgold address
TMNWD..

creator
36396 PrCmT../1c026..

owner
36396 PrCmT../1c026..

term root
e4311..