Theorem CategoryTheory.Functor.isRightAdjoint_iff_leftAdjointObjIsDefined_eq_top

Modification history