Proofgold Term Root Disambiguation

∀ x0 . not (SNoLe 0 x0) ⟶ abs_SNo x0 = minus_SNo x0

as obj
-

as prop
b29f7..^{not_nonneg_abs_SNo}

theory
HotG

stx
26642..

address
TMT3c..^{not_nonneg_abs_SNo}