Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ SNoLt x0 0 ⟶ SNoLt (recip_SNo x0) 0

as obj
-

as prop
49b9e..^{recip_SNo_of_neg_is_neg}

theory
HotG

stx
f61d0..

address
TMSxV..^{recip_SNo_of_neg_is_neg}