Theorem CategoryTheory.Limits.IsZero.eq_zero_of_src

Modification history