Def category_theory.preadditive.has_coequalizers_of_has_cokernels

Modification history