Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0realCSNo_Im (mul_CSNo Complex_i x0) = x0
type
prop
theory
HotG
name
real_Im_i_eq
proof
PUNr2..
Megalodon
real_Im_i_eq
proofgold address
TMVQj..real_Im_i_eq
creator
12547 PrGxv../75e76..
owner
12547 PrGxv../75e76..
term root
59ffd..