Theorem CategoryTheory.IsKernelPair.cancel_right_of_mono

Modification history