Proofgold Term Root Disambiguation

TransSet omega

as obj
-

as prop
c79e7..^{omega_TransSet}

theory
HotG

stx
18c18..

address
TMNtK..^{omega_TransSet}