Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ordinal (ordsucc x0)

type
prop

theory
HotG

name
ordinal_ordsucc

proof
PUL8Q..

Megalodon
ordinal_ordsucc

proofgold address
TMbVv..^{ordinal_ordsucc}

creator
4882 Pr6Pc../5f782..

owner
4882 Pr6Pc../5f782..

term root
0ba97..