Def groupCohomologyIsoExt

Modification history

2026-01-19 08:37
Mathlib/RepresentationTheory/Homological/GroupCohomology/Basic.lean
refactor(Data/Finsupp): remove `DecidableEq` argument from `curry` (#33490) …
Modified groupCohomologyIsoExtView on Github →
2025-06-07 09:38
Mathlib/RepresentationTheory/GroupCohomology/Basic.lean
feat(RepresentationTheory/*): prerequisites for the bar resolution (#25546) …
Modified groupCohomologyIsoExtView on Github →
2023-07-03 12:05
Mathlib/RepresentationTheory/GroupCohomology/Basic.lean
feat: port RepresentationTheory.GroupCohomology.Basic (#5468)
Added groupCohomologyIsoExtView on Github →