Theorem CategoryTheory.Limits.IsZero.of_epi_zero

Modification history