Def CategoryTheory.Idempotents.KaroubiKaroubi.counitIso

Modification history

2023-04-06 16:41

Mathlib/CategoryTheory/Idempotents/KaroubiKaroubi.lean

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

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