Def CategoryTheory.MonoOver.infLeRight

Modification history