Theorem CategoryTheory.IsKernelPair.id_of_mono

Modification history