Proofgold Proposition

∀ x0 . nat_p x0 ⟶ (x0 = 0 ⟶ ∀ x1 : ο . x1) ⟶ SNoLt 0 x0

type
prop

theory
HotG

name
-

proof
PUgbS..

Megalodon
-

proofgold address
TMLKN..

creator
28273 Pr5Zc../2c1ef..

owner
28273 Pr5Zc../2c1ef..

term root
e5541..