Theorem CategoryTheory.injective_of_preservesFiniteColimits_preadditiveYonedaObj

Modification history

2023-05-25 17:59
Mathlib/CategoryTheory/Abelian/Injective.lean
feat: port CategoryTheory.Abelian.Injective (#4348)
Added CategoryTheory.injective_of_preservesFiniteColimits_preadditiveYonedaObjView on Github →