Theorem CategoryTheory.Limits.IsZero.of_mono

Modification history