`BookProof.ChapterWignerLittleGroup.act_conjTranspose` (A X : Matrix (Fin 2) (Fin 2) ℂ) (hX : Xᴴ = X) : (act A X)ᴴ = act A X

Initializing...

`BookProof.ChapterWignerLittleGroup.act_conjTranspose` (A X : Matrix (Fin 2) (Fin 2) ℂ) (hX : Xᴴ = X) : (act A X)ᴴ = act A X · Prove2Me