Theorem Representation.IntertwiningMap.ofClass_eq_toLinearMap

Modification history

2026-09-08 10:36
Mathlib/RepresentationTheory/Intertwining.lean
chore: rename SemilinearMapClass.semilinearMap to LinearMap.ofClass (#43376) …
Added Representation.IntertwiningMap.ofClass_eq_toLinearMapView on Github →