Theorem CategoryTheory.Functor.leftAdjointObjIsDefined_iff

Modification history