Proofgold Proposition

∀ x0 . nat_p x0 ⟶ or (x0 = 0) (∀ x1 : ο . (∀ x2 . and (nat_p x2) (x0 = ordsucc x2) ⟶ x1) ⟶ 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..