`BookProof.ChapterSchurRepresentation.schur_unitary_representation_apply` {G : Type*} [Group G] (U : G →* (V ≃ₗᵢ[ℂ] V)) (hirr : (repSystem U).IsIrreducible) {S : V →L[ℂ] V} (hcomm

Initializing...

`BookProof.ChapterSchurRepresentation.schur_unitary_representation_apply` {G : Type*} [Group G] (U : G →* (V ≃ₗᵢ[ℂ] V)) (hirr : (repSystem U).IsIrreducible) {S : V →L[ℂ] V} (hcomm · Prove2Me