Def CategoryTheory.MonoOver.imageMonoOver

Modification history