Theorem groupCohomology.inhomogeneousCochains.d_comp_d

Modification history

2025-06-09 08:15
Mathlib/RepresentationTheory/GroupCohomology/Basic.lean
feat(RepresentationTheory/*): add the bar resolution (#21738) …
Added groupCohomology.inhomogeneousCochains.d_comp_dView on Github →