Def Representation.IntertwiningMap.id

Modification history

2026-01-30 17:31

Mathlib/RepresentationTheory/Intertwining.lean

feat: Schur's lemma for monoid representations (#33802) …

Added Representation.IntertwiningMap.id View on Github →