Theorem CategoryTheory.Projective.projective_iff_preservesEpimorphisms_preadditive_coyoneda_obj'

Modification history

2023-05-16 13:10

Mathlib/CategoryTheory/Preadditive/Yoneda/Projective.lean

chore: tidy various files (#4003)

Deleted CategoryTheory.Projective.projective_iff_preservesEpimorphisms_preadditive_coyoneda_obj'View on Github →

2023-05-11 00:33

Mathlib/CategoryTheory/Preadditive/Yoneda/Projective.lean

feat: port CategoryTheory.Preadditive.Yoneda.Projective (#3895)

Added CategoryTheory.Projective.projective_iff_preservesEpimorphisms_preadditive_coyoneda_obj'View on Github →