Def CategoryTheory.leftAdjoint

Modification history