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

Initializing...

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