Theorem CategoryTheory.IsFinitelyPresentable.exists_hom_of_isColimit_under

Modification history

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