Def Subrepresentation.submoduleSubrepresentationOrderIso

Modification history

2026-01-23 08:59
Mathlib/RepresentationTheory/Subrepresentation.lean
feat: definition of an irreducible representation (#32856) …
Added Subrepresentation.submoduleSubrepresentationOrderIsoView on Github →