Def CategoryTheory.preservesFiniteColimitsPreadditiveYonedaObjOfInjective

Modification history

2024-07-09 18:31
Mathlib/CategoryTheory/Abelian/Injective.lean
refactor: removing the old homology API (#14569) …
Deleted CategoryTheory.preservesFiniteColimitsPreadditiveYonedaObjOfInjectiveView on Github →
2023-05-25 17:59
Mathlib/CategoryTheory/Abelian/Injective.lean
feat: port CategoryTheory.Abelian.Injective (#4348)
Added CategoryTheory.preservesFiniteColimitsPreadditiveYonedaObjOfInjectiveView on Github →