Proofgold Term Root Disambiguation

HSNo_proj0 0 = 0

as obj
-

as prop
f0ff5..^HSNo_p0_0

theory
HotG

stx
43801..

address
TMcwo..^HSNo_p0_0