Proofgold Proposition

∀ x0 x1 : ο . (x0 ⟶ x1) ⟶ (x1 ⟶ x0) ⟶ x0 = x1

type
prop

theory
HF

name
prop_ext_2

proof
PUUci..

Megalodon
prop_ext_2

proofgold address
TMdWz..^prop_ext_2

creator
1149 PrGxv../d4b3d..

owner
1149 PrGxv../d4b3d..

term root
a9ede..