Proofgold Term Root Disambiguation

as obj
-

as prop
0c96c..^{RealsStruct_omega_exp_1}

theory
HotG

stx
339e9..

address
TMSx7..^{RealsStruct_omega_exp_1}