Def category_theory.non_preadditive_abelian.epi_is_cokernel_of_kernel

Modification history