Proofgold Term Root Disambiguation

not (equip omega real)

as obj
-

as prop
8ceb9..

theory
HotG

stx
80e8e..

address
TMGYH..