Def CategoryTheory.Limits.preservesFiniteCoproductsOfReflectsOfPreserves

Modification history

2024-07-16 09:12
Mathlib/CategoryTheory/Limits/Preserves/Finite.lean
feat(CategoryTheory): the monoidal category structure on graded objects (#14457) …
Deleted CategoryTheory.Limits.preservesFiniteCoproductsOfReflectsOfPreservesView on Github →
2024-05-15 12:02
Mathlib/CategoryTheory/Limits/Preserves/Finite.lean
feat(CategoryTheory/Limits): add classes `ReflectsFiniteLimits` and friends (#12909) …
Added CategoryTheory.Limits.preservesFiniteCoproductsOfReflectsOfPreservesView on Github →