`BookProof.ChapterA.not_isCReal_and_isCPseudoreal` (M : System ℂ V) : ¬ (IsCReal M ∧ IsCPseudoreal M)

Initializing...

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