Theorem CategoryTheory.Functor.isEquivalence_of_isRightAdjoint

Modification history