Theorem Representation.Equiv.toLinearEquiv_toLinearMap

Modification history

2026-02-24 17:56
Mathlib/RepresentationTheory/Intertwining.lean
feat: definition of equivalence of representations (#34888) …
Added Representation.Equiv.toLinearEquiv_toLinearMapView on Github →