Theorem CategoryTheory.Limits.BinaryBicone.inrCokernelCofork_π

Modification history