Proofgold Proposition

∀ x0 . x0 ∈ complex ⟶ CSNo_Im x0 ∈ real

type
prop

theory
HotG

name
complex_Im_real

proof
PUNr2..

Megalodon
complex_Im_real

proofgold address
TMQA3..^{complex_Im_real}

creator
12547 PrGxv../c3966..

owner
12547 PrGxv../c3966..

term root
ce127..