Def CategoryTheory.Limits.BinaryBicone.isColimitInlCokernelCofork

Modification history