Proofgold Proposition

type
prop

theory
HotG

name
ordsucc_omega_ordinal

proof
PUL8Q..

Megalodon
ordsucc_omega_ordinal

proofgold address
TMF6Y..^{ordsucc_omega_ordinal}

creator
4882 Pr6Pc../a31b4..

owner
4882 Pr6Pc../a31b4..

term root
66659..