Def CategoryTheory.Adjunction.functorialityAdjunction'

Modification history