Theorem LinearMap.sumOfConjugatesEquivariant_apply

Modification history

2023-03-26 07:04
Mathlib/RepresentationTheory/Maschke.lean
feat: port RepresentationTheory.Maschke (#2986)
Added LinearMap.sumOfConjugatesEquivariant_applyView on Github →