Def CategoryTheory.Limits.binaryBiconeOfIsSplitEpiOfKernel

Modification history