`BookProof.ChapterA.noAntilinearCommutant_isCComplex` {M : System ℂ V} [Nontrivial V] (h : NoAntilinearCommutant M) : IsCComplex M

Initializing...

`BookProof.ChapterA.noAntilinearCommutant_isCComplex` {M : System ℂ V} [Nontrivial V] (h : NoAntilinearCommutant M) : IsCComplex M · Prove2Me