Proofgold Term Root Disambiguation

minus_SNo 0 = 0

as obj
-

as prop
3fcc5..^minus_SNo_0

theory
HotG

stx
7edd8..

address
TMExy..^minus_SNo_0