Def Rep.resMap

Modification history

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