Proofgold Term Root Disambiguation

SNoLt (minus_SNo 1) 0

as obj
-

as prop
a0517..^{SNoLt_minus_1_0}

theory
HotG

stx
5fba1..

address
TMSqZ..^{SNoLt_minus_1_0}