Proofgold Proposition

type
prop

theory
HotG

name
equip_real_Power_omega

proof
PUhMi..

Megalodon
equip_real_Power_omega

proofgold address
TMRke..^{equip_real_Power_omega}

creator
29774 PrQUS../a73c9..

owner
29774 PrQUS../a73c9..

term root
be2ee..