Theorem CategoryTheory.Limits.biprod.inlCokernelCofork_π

Modification history