Def CategoryTheory.Abelian.epiIsCokernelOfKernel

Modification history