Def CategoryTheory.Idempotents.KaroubiKaroubi.unitIso

Modification history

2023-04-06 16:41

Mathlib/CategoryTheory/Idempotents/KaroubiKaroubi.lean

feat: port CategoryTheory.Idempotents.KaroubiKaroubi (#3298)

Added CategoryTheory.Idempotents.KaroubiKaroubi.unitIso View on Github →