Proofgold Proposition

∀ x0 . CSNo x0 ⟶ SNoLe 0 (abs_sqr_CSNo x0)

type
prop

theory
HotG

name
abs_sqr_CSNo_nonneg

proof
PURry..

Megalodon
abs_sqr_CSNo_nonneg

proofgold address
TMHHU..^{abs_sqr_CSNo_nonneg}

creator
28463 PrQUS../2533f..

owner
28463 PrQUS../2533f..

term root
8b1a6..