Theorem CategoryTheory.Projective.of_iso

Modification history

2024-10-14 12:17
Mathlib/CategoryTheory/Preadditive/Projective.lean
chore: unused arguments (#17348)
Modified CategoryTheory.Projective.of_isoView on Github →
2023-04-28 11:10
Mathlib/CategoryTheory/Preadditive/Projective.lean
feat: port CategoryTheory.Preadditive.Projective (#3615)
Added CategoryTheory.Projective.of_isoView on Github →