Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ordinal x0

type
prop

theory
HotG

name
nat_p_ordinal

proof
PUL8Q..

Megalodon
nat_p_ordinal

proofgold address
TMR9b..^{nat_p_ordinal}

creator
4882 Pr6Pc../40fa0..

owner
4882 Pr6Pc../40fa0..

term root
274fc..