Def CategoryTheory.Limits.BinaryBicone.isBilimitOfKernelInl

Modification history