`BookProof.ChapterA.IsCReal.hasCommutingAntiUnitary` {M : System ℂ V} (h : IsCReal M) : HasCommutingAntiUnitary M

Initializing...

`BookProof.ChapterA.IsCReal.hasCommutingAntiUnitary` {M : System ℂ V} (h : IsCReal M) : HasCommutingAntiUnitary M · Prove2Me