`BookProof.ChapterA.not_isCPseudoreal_and_isCComplex` (M : System ℂ V) : ¬ (IsCPseudoreal M ∧ IsCComplex M)

Initializing...

`BookProof.ChapterA.not_isCPseudoreal_and_isCComplex` (M : System ℂ V) : ¬ (IsCPseudoreal M ∧ IsCComplex M) · Prove2Me