Def CategoryTheory.Idempotents.KaroubiKaroubi.inverse

Modification history

2023-04-06 16:41

Mathlib/CategoryTheory/Idempotents/KaroubiKaroubi.lean

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

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