Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
category_theory.equivalence.projective_presentation_of_map_projective_presentation
Modification history
2022-11-25 08:40
src/category_theory/preadditive/projective.lean
feat(representation_theory/group_cohomology_resolution): add projective resolution (#17443)
Added
category_theory.equivalence.projective_presentation_of_map_projective_presentation
View on Github →