`BookProof.ChapterA.cType_exhaustive` (M : System ℂ V) : IsCReal M ∨ IsCPseudoreal M ∨ IsCComplex M

Initializing...

`BookProof.ChapterA.cType_exhaustive` (M : System ℂ V) : IsCReal M ∨ IsCPseudoreal M ∨ IsCComplex M · Prove2Me