Def category_theory.preadditive.has_equalizers_of_has_kernels

Modification history