Theorem CategoryTheory.Limits.eq_zero_of_epi_kernel

Modification history