Theorem CategoryTheory.Adjunction.isEquivalence_left_of_isEquivalence_right

Modification history