Theorem imageToKernel_comp_right

Modification history