Proofgold Term Root Disambiguation

CD_proj1 (Sing 2) SNo

as obj
784bb..^CSNo_Im

as prop
-

theory
HotG

stx
5ed1a..

address
TMcJ5..^CSNo_Im