Theorem CategoryTheory.AbelianOfAdjunction.hasCokernels

Modification history