Def CategoryTheory.Adjunction.leftAdjointOfEquiv

Modification history