Proofgold Term Root Disambiguation

CD_minus (Sing 2) SNo minus_SNo

as obj
d06e0..^minus_CSNo

as prop
-

theory
HotG

stx
5ed1a..

address
TMFxs..^minus_CSNo