Proofgold Term Root Disambiguation

as obj
-

as prop
4f370..^{Field_minus_one_square}

theory
HotG

stx
6b5ba..

address
TMPY9..^{Field_minus_one_square}