Theorem Rep.coe_res_obj_ρ

Modification history

2025-07-23 17:08
Mathlib/RepresentationTheory/Rep.lean
feat(RepresentationTheory/Homological): (co)(res/inf) natural transformations on group (co)homology (#27393) …
Added Rep.coe_res_obj_ρView on Github →