Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . CSNo x0exp_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..