Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ SNoLt x0 0 ⟶ abs_SNo x0 = minus_SNo x0

as obj
-

as prop
f858c..^neg_abs_SNo

theory
HotG

stx
26642..

address
TMGjT..^neg_abs_SNo