Theorem CategoryTheory.Preadditive.cokernelCoforkOfCofork_π

Modification history