Theorem Representation.isSemisimpleModule_iff_isSemisimpleRepresentation_ofModule

Modification history

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