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 →