Proofgold Proposition

∀ x0 . nat_p x0 ⟶ or (x0 = 0) (∃ x1 . and (nat_p x1) (x0 = ordsucc x1))

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
nat_inv

proofgold address
TMP2c..^nat_inv

creator
1473 PrGxv../92ed8..

owner
1473 PrGxv../92ed8..

term root
7be30..