Theorem Representation.IntertwiningMap.comp_zero

Modification history

2026-09-29 15:37
Mathlib/RepresentationTheory/Intertwining.lean
feat(RepresentationTheory): add two simp lemmas (#43649) …
Added Representation.IntertwiningMap.comp_zeroView on Github →