Proofgold Proposition

type
prop

theory
HotG

name
atleastp_omega_infinite

proof
PUgHR..

Megalodon
atleastp_omega_infinite

proofgold address
TMMUM..^{atleastp_omega_infinite}

creator
29749 PrQUS../11eb5..

owner
29749 PrQUS../11eb5..

term root
0b0e2..