Theorem CategoryTheory.Limits.IsZero.iff_id_eq_zero

Modification history