Proofgold Proposition

∀ x0 x1 : ι → ι . prim1 x0 = prim1 x1 ⟶ x0 = x1

type
prop

theory
HOAS

name
-

proof
PUPsB..

Megalodon
-

proofgold address
TMVqD..

creator
1605 PrGxv../2d62e..

owner
1605 PrGxv../2d62e..

term root
acde7..