Theorem CategoryTheory.Functor.rightAdjoint_of_isEquivalence

Modification history