Assumptions: abelian
Conclusions: additive, cokernels, conormal, kernels, normal
This is an equivalence.
Reason: This holds by definition.