Proofgold Term Root Disambiguation

CD_minus (Sing 3) CSNo minus_CSNo

as obj
b481a..^minus_HSNo

as prop
-

theory
HotG

stx
43801..

address
TMGTh..^minus_HSNo