Def category_theory.limits.zero_cokernel_of_zero_cancel

Modification history