Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.ProjectiveResolution.of_complex

Modification history

2021-06-01 23:18

src/category_theory/abelian/projective.lean

feat(category_theory/abelian): abelian categories with enough projectives have projective resolutions (#7488)

Added category_theory.ProjectiveResolution.of_complex View on Github →