Theorem CategoryTheory.Functor.leftAdjointObjIsDefined_colimit

Modification history