Theorem CategoryTheory.hasExactColimitsOfShape_of_equiv

Modification history

2024-12-16 16:45
Mathlib/CategoryTheory/Abelian/GrothendieckAxioms/Basic.lean
feat(CategoryTheory/Abelian/GrothendieckAxioms): introduce Grothendieck categories (#18510) …
Deleted CategoryTheory.hasExactColimitsOfShape_of_equivView on Github →
2024-12-06 15:26
Mathlib/CategoryTheory/Abelian/GrothendieckAxioms.lean
feat(CategoryTheory): expand the API for AB axioms (#19200) …
Added CategoryTheory.hasExactColimitsOfShape_of_equivView on Github →