`BookProof.ChapterSchurRepresentation.repSystem_isNormal` {G : Type*} [Group G] (U : G →* (V ≃ₗᵢ[ℂ] V)) : (repSystem U).IsNormal

Initializing...

`BookProof.ChapterSchurRepresentation.repSystem_isNormal` {G : Type*} [Group G] (U : G →* (V ≃ₗᵢ[ℂ] V)) : (repSystem U).IsNormal · Prove2Me