Proofgold Term Root Disambiguation

as obj
-

as prop
6e356..^{equip_real_Power_omega}

theory
HotG

stx
77d10..

address
TMPbN..^{equip_real_Power_omega}