Theorem CategoryTheory.Abelian.mono_inl_of_isColimit

Modification history