Def CategoryTheory.Preadditive.isColimitCoforkOfCokernelCofork

Modification history