Def CategoryTheory.Adjunction.functorialityIsRightAdjoint

Modification history