Theorem CategoryTheory.hasExactColimitsOfShape_of_final

Modification history

2025-12-13 14:21
Mathlib/CategoryTheory/Abelian/GrothendieckAxioms/Basic.lean
chore: use `Category*` everywhere (#32842) …
Modified CategoryTheory.hasExactColimitsOfShape_of_finalView 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_finalView on Github →