Structure Representation.IsIntertwiningMap

Modification history

2026-01-22 17:00

Mathlib/RepresentationTheory/Intertwining.lean

feat: definition of an intertwining map (#33221) …

Added Representation.IsIntertwiningMap View on Github →