Def CategoryTheory.Limits.cokernel.ofEpi

Modification history