Proofgold Proposition

∀ x0 x1 . (x0 = x1 ⟶ False) ⟶ x1 = x0 ⟶ False

type
prop

theory
HF

name
-

proof
PUU1Q..

Megalodon
-

proofgold address
TMYVM..

creator
11715 PrGVS../07132..

owner
11715 PrGVS../07132..

term root
9f5e2..