Theorem Rep.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) …
Modified Rep.res_obj_ρView on Github →
2025-02-27 23:05
Mathlib/RepresentationTheory/Rep.lean
feat(RepresentationTheory/Homological/GroupCohomology/Functoriality): low degree functoriality maps (#21758) …
Added Rep.res_obj_ρView on Github →