Proofgold Proposition

∀ x0 . CSNo x0 ⟶ exp_CSNo_nat (sqrt_CSNo x0) 2 = x0

type
prop

theory
HotG

name
sqrt_CSNo_sqrt

proof
PURry..

Megalodon
sqrt_CSNo_sqrt

proofgold address
TMSwh..^{sqrt_CSNo_sqrt}

creator
28463 PrQUS../c5b29..

owner
28463 PrQUS../c5b29..

term root
41ae0..