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
PUNr2..
Megalodon
complex_eta
proofgold address
TMUXM..complex_eta
creator
12547 PrGxv../295e8..
owner
12547 PrGxv../295e8..
term root
d1933..