Def CategoryTheory.Adjunction.ofRightAdjoint

Modification history