Theorem CategoryTheory.Limits.biprod.inrCokernelCofork_π

Modification history