mathlib3
956af7c7 - feat(representation_theory/group_cohomology_resolution): add projective resolution (#17443)

Commit

3 years ago

feat(representation_theory/group_cohomology_resolution): add projective resolution (#17443) Co-authored-by: Joël Riou <joel.riou@universite-paris-saclay.fr>

Author

Amelia Livingston

Parents

41cf0cc2

mathlib3 956af7c7 - feat(representation_theory/group_cohomology_resolution): add projective resolution (#17443)

mathlib3
956af7c7 - feat(representation_theory/group_cohomology_resolution): add projective resolution (#17443)