Proofgold Proposition

∀ x0 . nat_p x0 ⟶ In 0 (ordsucc x0)

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
nat_0_in_ordsucc

proofgold address
TMJyz..^{nat_0_in_ordsucc}

creator
1473 PrGxv../78231..

owner
1473 PrGxv../78231..

term root
76120..