# Commit 2021-05-15 08:16 b4b38da8

View on Github →feat(category_theory/*/projective): refactor treatment of projective objects (#7485)

Mathlib v3 is deprecated. Go to Mathlib v4

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