Theorem CategoryTheory.Idempotents.isIdempotentComplete_of_isIdempotentComplete_opposite

Modification history