Proofgold Proposition

type
prop

theory
HotG

name
explicit_Nats_omega

proof
PUefP..

Megalodon
explicit_Nats_omega

proofgold address
TMN5Y..^{explicit_Nats_omega}

creator
4913 Pr6Pc../54ea5..

owner
4913 Pr6Pc../54ea5..

term root
a3ba1..