Theorem CategoryTheory.Functor.leftAdjointObjIsDefined_of_isColimit

Modification history