Theorem Representation.IntertwiningMap.comp_apply

Modification history

2026-03-03 14:05

Mathlib/RepresentationTheory/Intertwining.lean

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

Added Representation.IntertwiningMap.comp_apply View on Github →