Def CategoryTheory.rightAdjoint

Modification history