Theorem CategoryTheory.IsKernelPair.mono_of_isIso_fst

Modification history