Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.projective.syzygies

Modification history

2021-05-15 08:16

src/category_theory/preadditive/projective.lean

feat(category_theory/*/projective): refactor treatment of projective objects (#7485)

Added category_theory.projective.syzygies View on Github →