Theorem Representation.isSimpleModule_iff_irreducible_ofModule

Modification history

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