Theorem Representation.is_simple_module_iff_irreducible_ofModule

Modification history

2026-02-09 22:34
Mathlib/RepresentationTheory/Irreducible.lean
feat: definition of a semisimple representation (#34584) …
Deleted Representation.is_simple_module_iff_irreducible_ofModuleView on Github →
2026-01-23 08:59
Mathlib/RepresentationTheory/Irreducible.lean
feat: definition of an irreducible representation (#32856) …
Added Representation.is_simple_module_iff_irreducible_ofModuleView on Github →