Theorem CategoryTheory.Abelian.mono_inr_of_isColimit

Modification history