Theorem CategoryTheory.Limits.IsZero.of_epi

Modification history