`BookProof.ChapterA.IsConjugation.commutesAntiUnitary` {M : System ℂ V} {θ : AntiUnitary V} (h : IsConjugation M θ) : CommutesAntiUnitary M θ

Initializing...

`BookProof.ChapterA.IsConjugation.commutesAntiUnitary` {M : System ℂ V} {θ : AntiUnitary V} (h : IsConjugation M θ) : CommutesAntiUnitary M θ · Prove2Me