Theorem CategoryTheory.Functor.isRightAdjoint_of_leftAdjointObjIsDefined_eq_top

Modification history