Theorem CategoryTheory.Idempotents.Karoubi.sum_hom

Modification history