Theorem Rep.resMap_hom_apply

Modification history

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