Theorem CategoryTheory.Idempotents.isIdempotentComplete_iff_idempotents_have_kernels

Modification history