Theorem CategoryTheory.Idempotents.KaroubiKaroubi.idem_f

Modification history

2023-04-06 16:41
Mathlib/CategoryTheory/Idempotents/KaroubiKaroubi.lean
feat: port CategoryTheory.Idempotents.KaroubiKaroubi (#3298)
Added CategoryTheory.Idempotents.KaroubiKaroubi.idem_fView on Github →