Proofgold Proposition

nat_p = λ x1 . ∀ x2 : ι → ο . x2 0 ⟶ (∀ x3 . x2 x3 ⟶ x2 (ordsucc x3)) ⟶ x2 x1

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
nat_p_def

proofgold address
-

creator

owner

term root
a3a75..