Proofgold Term Root Disambiguation

as obj
-

as prop
e9266..^{RealsStruct_omega_exp_0}

theory
HotG

stx
339e9..

address
TMPSG..^{RealsStruct_omega_exp_0}