Def CategoryTheory.Limits.binaryBiconeOfIsSplitMonoOfCokernel

Modification history