Let be an additive category and be a morphism. Then the coimage is defined as kernel / cokernel
where
Date: nil
Author: Anton Zakrewski
Created: 2024-10-20 So 08:57
be an 
be a 
