Checks if two morphisms are exact (i.e. the image of the first morphism is equal to the kernel of the second morphism).
The first morphism
The second morphism
Checks if two morphisms are exact (i.e. the image of the first morphism is equal to the kernel of the second morphism).