Def CategoryTheory.Idempotents.toKaroubiEquivalence

Modification history

2023-08-13 15:48

Mathlib/CategoryTheory/Idempotents/Karoubi.lean

feat: forward port of Mathlib.AlgebraicTopology.DoldKan.Equivalence (#6444) …

Added CategoryTheory.Idempotents.toKaroubiEquivalence View on Github →