Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0 ∈ complex ⟶ x0 = add_CSNo (CSNo_Re x0) (mul_CSNo Complex_i (CSNo_Im x0))
type
prop
theory
HotG
name
complex_eta
proof
PURry..
Megalodon
complex_eta
proofgold address
TMdHk..complex_eta
creator
28463 PrQUS../2041f..
owner
28463 PrQUS../2041f..
term root
233ac..