Proofgold Term Root Disambiguation

80242.. 4a7ef..

as obj
-

as prop
ebb60..

theory
HoTg

stx
ab965..

address
TMaHi..