Def CategoryTheory.MonoOver.factorThru

Modification history