Theorem Representation.isSemisimpleRepresentation_iff_isSemisimpleModule_asModule

Modification history

2026-02-09 22:34
Mathlib/RepresentationTheory/Semisimple.lean
feat: definition of a semisimple representation (#34584) …
Added Representation.isSemisimpleRepresentation_iff_isSemisimpleModule_asModuleView on Github →