Def category_theory.preadditive.is_colimit_cokernel_cofork_of_cofork

Modification history