Def CategoryTheory.Adjunction.adjunctionOfEquivLeft

Modification history