Def CategoryTheory.Limits.BinaryBicone.isBilimitOfKernelInr

Modification history