Proofgold Proposition

∀ x0 . SNoLe 0 x0 ⟶ abs_SNo x0 = x0

type
prop

theory
HotG

name
nonneg_abs_SNo

proof
PUfRQ..

Megalodon
nonneg_abs_SNo

proofgold address
TMFwq..^{nonneg_abs_SNo}

creator
6761 Pr6Pc../3a772..

owner
6761 Pr6Pc../3a772..

term root
330ed..