Def CategoryTheory.Limits.BinaryBicone.isColimitInrCokernelCofork

Modification history