Proofgold Proposition

∀ x0 . CSNo x0 ⟶ abs_sqr_CSNo x0 = 0 ⟶ x0 = 0

type
prop

theory
HotG

name
abs_sqr_CSNo_zero

proof
PURry..

Megalodon
abs_sqr_CSNo_zero

proofgold address
TMNyX..^{abs_sqr_CSNo_zero}

creator
28463 PrQUS../db800..

owner
28463 PrQUS../db800..

term root
717eb..