Def CategoryTheory.mkTerminalOfRightAdjoint

Modification history