Def groupCohomology

Modification history

2025-06-24 15:10

Mathlib/RepresentationTheory/Homological/GroupCohomology/Basic.lean

fix: remove unused `DecidableEq` arguments (#26352) …

Modified groupCohomology View on Github →

2025-06-09 08:15

Mathlib/RepresentationTheory/GroupCohomology/Basic.lean

feat(RepresentationTheory/*): add the bar resolution (#21738) …

Modified groupCohomology View on Github →

2023-07-03 12:05

Mathlib/RepresentationTheory/GroupCohomology/Basic.lean

feat: port RepresentationTheory.GroupCohomology.Basic (#5468)

Added groupCohomology View on Github →