Def CategoryTheory.mkInitialOfLeftAdjoint

Modification history