Proofgold Proposition

∀ x0 : ι → ο . x0 0 ⟶ (∀ x1 . nat_p x1 ⟶ x0 x1 ⟶ x0 (ordsucc x1)) ⟶ ∀ x1 . nat_p x1 ⟶ x0 x1

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
nat_ind

proofgold address
TMP5e..^nat_ind

creator
1473 PrGxv../ab54c..

owner
1473 PrGxv../ab54c..

term root
f23dd..