Def CategoryTheory.Adjunction.functorialityIsLeftAdjoint

Modification history