Proofgold Proposition

∀ x0 . nat_p x0 ⟶ SNoLe 0 x0

type
prop

theory
HotG

name
-

proof
PUgbS..

Megalodon
-

proofgold address
TMTN2..

creator
28273 Pr5Zc../48058..

owner
28273 Pr5Zc../48058..

term root
72fc1..