Def groupCohomology.inhomogeneousCochainsIso

Modification history

2026-01-19 08:37
Mathlib/RepresentationTheory/Homological/GroupCohomology/Basic.lean
refactor(Data/Finsupp): remove `DecidableEq` argument from `curry` (#33490) …
Modified groupCohomology.inhomogeneousCochainsIsoView on Github →
2025-06-24 15:10
Mathlib/RepresentationTheory/Homological/GroupCohomology/Basic.lean
fix: remove unused `DecidableEq` arguments (#26352) …
Modified groupCohomology.inhomogeneousCochainsIsoView on Github →
2025-06-09 08:15
Mathlib/RepresentationTheory/GroupCohomology/Basic.lean
feat(RepresentationTheory/*): add the bar resolution (#21738) …
Modified groupCohomology.inhomogeneousCochainsIsoView on Github →
2023-10-23 14:19
Mathlib/RepresentationTheory/GroupCohomology/Basic.lean
chore(RepresentationTheory.GroupCohomology): make namespaces lower camel case (#6029)
Added groupCohomology.inhomogeneousCochainsIsoView on Github →