Theorem CategoryTheory.IsKernelPair.isIso_of_mono

Modification history