Def CategoryTheory.Adjunction.ofLeftAdjoint

Modification history