Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ ordsucc x0 ∈ omega

type
prop

theory
HotG

name
omega_ordsucc

proof
PUL8Q..

Megalodon
omega_ordsucc

proofgold address
TMcKR..^{omega_ordsucc}

creator
4882 Pr6Pc../c98e4..

owner
4882 Pr6Pc../c98e4..

term root
246d6..