Proofgold Term Root Disambiguation

CD_proj0 (Sing 2) SNo

as obj
39e73..^CSNo_Re

as prop
-

theory
HotG

stx
5ed1a..

address
TMUHz..^CSNo_Re