Theorem CategoryTheory.Idempotents.split_imp_of_iso

Modification history