Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . nat_p x1 ⟶ mul_nat x1 x0 = x1 ⟶ (x1 = 0 ⟶ ∀ x2 : ο . x2) ⟶ x0 = 1

type
prop

theory
HotG

name
-

proof
PUPoD..

Megalodon
-

proofgold address
TMUQH..

creator
27290 Pr5Zc../9f784..

owner
27290 Pr5Zc../9f784..

term root
db897..