Theorem groupCohomology.map_cochainsFunctor_eval_shortExact

Modification history

2026-06-09 15:16
Mathlib/RepresentationTheory/Homological/GroupCohomology/LongExactSequence.lean
feat(RepresentationTheory/Homological): define Tate cohomology (#38553) …
Added groupCohomology.map_cochainsFunctor_eval_shortExactView on Github →