`BookProof.ChapterA.not_isRComplexType_and_isRPseudorealType` (M : System ℝ W) : ¬ (IsRComplexType M ∧ IsRPseudorealType M)

Initializing...

`BookProof.ChapterA.not_isRComplexType_and_isRPseudorealType` (M : System ℝ W) : ¬ (IsRComplexType M ∧ IsRPseudorealType M) · Prove2Me