Theorem CategoryTheory.Idempotents.split_iff_of_iso

Modification history