Theorem CategoryTheory.IsKernelPair.of_isIso_of_mono

Modification history