Theorem CategoryTheory.AbelianOfAdjunction.hasKernels

Modification history