Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-15 08:16 b4b38da8

View on Github →

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

Estimated changes