Proofgold Proposition

type
prop

theory
HotG

name
atleastp_Power_omega_real

proof
PUaSr..

Megalodon
-

proofgold address
TMKKw..

creator
23745 Pr5Zc../12ada..

owner
23745 Pr5Zc../12ada..

term root
4c98b..