Theorem CategoryTheory.IsKernelPair.comp_of_mono

Modification history