Def CategoryTheory.MonoOver.infLeLeft

Modification history