Theorem CategoryTheory.Functor.leftAdjoint_of_isEquivalence

Modification history