Proofgold Proposition

∀ x0 . CSNo x0 ⟶ SNo (abs_sqr_CSNo x0)

type
prop

theory
HotG

name
SNo_abs_sqr_CSNo

proof
PURry..

Megalodon
SNo_abs_sqr_CSNo

proofgold address
TMbgK..^{SNo_abs_sqr_CSNo}

creator
28463 PrQUS../69527..

owner
28463 PrQUS../69527..

term root
3c670..