Theorem Rep.resMap_hom_toLinearMap

Modification history

2026-06-30 17:51
Mathlib/RepresentationTheory/Rep/Res.lean
refactor(RepresentationTheory/Rep/Res): refactor resFunctor (#41054) …
Added Rep.resMap_hom_toLinearMapView on Github →