Def CategoryTheory.AbelianOfAdjunction.cokernelIso

Modification history