Theorem CategoryTheory.Preadditive.cokernelCoforkOfCofork_ofπ

Modification history