Implication Details

Assumptions: coquotients of cocongruences, coregular, preadditive

Conclusions: kernels

This implication has been dualized from this implication.