Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUVu4..

Megalodon
Subq_real_SNoS_ordsucc_omega

proofgold address
TMKo5..^{Subq_real_SNoS_ordsucc_omega}

creator
5368 Pr6Pc../abfef..

owner
5368 Pr6Pc../abfef..

term root
78ab2..