mathlib3

348289cc - feat(representation_theory/group_cohomology_resolution): add chain complex underlying the standard resolution (#16258)