`BookProof.ChapterMaschkeFiniteGroup.rho_rho` (ρ : Representation ℂ G V) (a b : G) (x : V) : ρ a (ρ b x) = ρ (a * b) x

Initializing...

`BookProof.ChapterMaschkeFiniteGroup.rho_rho` (ρ : Representation ℂ G V) (a b : G) (x : V) : ρ a (ρ b x) = ρ (a * b) x · Prove2Me