Theorem CategoryTheory.exactFunctor_le_preservesFiniteColimits

Modification history

2026-10-30 15:08
Mathlib/CategoryTheory/Limits/ExactFunctor.lean
chore(CategoryTheory): deprecate `leftExactFunctor` (#45418) …
Added CategoryTheory.exactFunctor_le_preservesFiniteColimitsView on Github →