`BookProof.ChapterMaschkeFiniteGroup.maschke_decomposition` [Finite G] [FiniteDimensional ℂ V] (ρ : Representation ℂ G V) (W : Submodule ℂ V) (hW : IsInvariant ρ W) : ∃ (W' : Submo

Initializing...

`BookProof.ChapterMaschkeFiniteGroup.maschke_decomposition` [Finite G] [FiniteDimensional ℂ V] (ρ : Representation ℂ G V) (W : Submodule ℂ V) (hW : IsInvariant ρ W) : ∃ (W' : Submo · Prove2Me