Def CategoryTheory.monadicLeftAdjoint

Modification history