Def CategoryTheory.Limits.isBilimitBinaryBiconeOfIsSplitMonoOfCokernel

Modification history