Proofgold Proposition

type
prop

theory
HotG

name
omega_ordinal

proof
PUL8Q..

Megalodon
omega_ordinal

proofgold address
TMdVA..^{omega_ordinal}

creator
4882 Pr6Pc../29dc0..

owner
4882 Pr6Pc../29dc0..

term root
3d621..