Proofgold Proposition

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

type
prop

theory
HotG

name
nat_inv

proof
PUL8Q..

Megalodon
nat_inv

proofgold address
TMR4i..^nat_inv

creator
4882 Pr6Pc../53b83..

owner
4882 Pr6Pc../53b83..

term root
5d429..