Theorem CategoryTheory.Preadditive.coforkOfCokernelCofork_π

Modification history