Theorem CategoryTheory.HasExactColimitsOfShape.domain_of_functor

Modification history

2025-12-13 14:21
Mathlib/CategoryTheory/Abelian/GrothendieckAxioms/Basic.lean
chore: use `Category*` everywhere (#32842) …
Modified CategoryTheory.HasExactColimitsOfShape.domain_of_functorView on Github →
2024-12-13 08:59
Mathlib/CategoryTheory/Abelian/GrothendieckAxioms/Basic.lean
feat(CategoryTheory/Abelian): AB axioms carry over to functor categories (#19914)
Added CategoryTheory.HasExactColimitsOfShape.domain_of_functorView on Github →