Theorem Representation.IntertwiningMap.ext

Modification history

2026-03-03 14:05

Mathlib/RepresentationTheory/Intertwining.lean

chore(RepresentationTheory/Intertwining): Generalise and add lemmas (#36047)

Added Representation.IntertwiningMap.ext View on Github →