Def CategoryTheory.Idempotents.KaroubiKaroubi.equivalence

Modification history

2023-04-06 16:41

Mathlib/CategoryTheory/Idempotents/KaroubiKaroubi.lean

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

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