Theorem Representation.IntertwiningMap.comp_def

Modification history

2026-03-03 14:05

Mathlib/RepresentationTheory/Intertwining.lean

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

Added Representation.IntertwiningMap.comp_def View on Github →