Theorem CategoryTheory.IsFinitelyPresentable.exists_eq_of_isColimit

Modification history

2025-09-08 19:22
Mathlib/CategoryTheory/Presentable/Finite.lean
feat(CategoryTheory/Limits): colimit presentations (#29382) …
Added CategoryTheory.IsFinitelyPresentable.exists_eq_of_isColimitView on Github →