Theorem CategoryTheory.Limits.IsZero.iff_isSplitMono_eq_zero

Modification history