Theorem CategoryTheory.IsKernelPair.cancel_right

Modification history