Proofgold Term Root Disambiguation

minus_CSNo 0 = 0

as obj
-

as prop
781e0..^minus_CSNo_0

theory
HotG

stx
5ed1a..

address
TMdyR..^minus_CSNo_0