Proofgold Proposition

∀ x0 x1 . (∀ x2 . iff (prim1 x2 x0) (prim1 x2 x1)) ⟶ x0 = x1

type
prop

theory
HoTg

name
-

proof
PUgom..

Megalodon
-

proofgold address
TMNW5..

creator
1605 PrGxv../b721b..

owner
1605 PrGxv../b721b..

term root
d7450..