Proofgold Term Root Disambiguation

as obj
-

as prop
2163a..^{eps_1_half_eq1}

theory
HotG

stx
26642..

address
TMGgE..^{eps_1_half_eq1}