Theorem CategoryTheory.Limits.IsZero.injective

Modification history