`BookProof.ChapterA.not_isRRealType_and_isRComplexType` (M : System ℝ W) : ¬ (IsRRealType M ∧ IsRComplexType M)

Initializing...

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