Proofgold Term Root Disambiguation

as obj
-

as prop
269a3..^{RealsStruct_div_undef3}

theory
HotG

stx
339e9..

address
TMch6..^{RealsStruct_div_undef3}