Proofgold Proposition

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

type
prop

theory
HotG

name
not_nonneg_abs_SNo

proof
PUfRQ..

Megalodon
not_nonneg_abs_SNo

proofgold address
TMQ8e..^{not_nonneg_abs_SNo}

creator
6761 Pr6Pc../7f2db..

owner
6761 Pr6Pc../7f2db..

term root
bc755..