Def CategoryTheory.Limits.isBilimitBinaryBiconeOfIsSplitEpiOfKernel

Modification history