Theorem CategoryTheory.Limits.IsZero.eq_zero_of_tgt

Modification history