Mathlib Changelog
v4
Changelog
About
Github
Def
Subrepresentation.subrepresentationSubmoduleOrderIso
Modification history
2026-01-23 08:59
Mathlib/RepresentationTheory/Subrepresentation.lean
feat: definition of an irreducible representation (#32856) …
Added
Subrepresentation.subrepresentationSubmoduleOrderIso
View on Github →