Theorem CategoryTheory.IsKernelPair.lift_snd

Modification history