`BookProof.ChapterA4g.SUtwo_conjTranspose_mem` {S : Matrix (Fin 2) (Fin 2) ℂ} (hS : S ∈ SUtwo) : Sᴴ ∈ SUtwo

Initializing...

`BookProof.ChapterA4g.SUtwo_conjTranspose_mem` {S : Matrix (Fin 2) (Fin 2) ℂ} (hS : S ∈ SUtwo) : Sᴴ ∈ SUtwo · Prove2Me