Theorem groupCohomology.shortComplexH0_exact

Modification history

2024-01-01 15:59

Mathlib/RepresentationTheory/GroupCohomology/LowDegree.lean

feat(RepresentationTheory/GroupCohomology/LowDegree): Identify `groupCohomology A n`with `Hn A` for `n = 0, 1, 2` (#8802)

Added groupCohomology.shortComplexH0_exact View on Github →