Proofgold Proposition

∀ x0 x1 : ο . iff x0 x1 ⟶ x0 = x1

type
prop

theory
HoTg

name
prop_ext

proof
PUgom..

Megalodon
-

proofgold address
TMQ64..

creator
1605 PrGxv../37e6d..

owner
1605 PrGxv../37e6d..

term root
00ac8..