Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ordinal x0

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
nat_p_ordinal

proofgold address
TMPQm..^{nat_p_ordinal}

creator
1473 PrGxv../1f3a0..

owner
1473 PrGxv../1f3a0..

term root
4db12..