Proofgold Proposition

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