Def CategoryTheory.Abelian.DoldKan.equivalence

Modification history

2024-05-08 11:06

Mathlib/AlgebraicTopology/DoldKan/Equivalence.lean

refactor(CategoryTheory): make Functor.IsEquivalence a Prop (#12462) …

Modified CategoryTheory.Abelian.DoldKan.equivalence View on Github →

2023-08-13 15:48

Mathlib/AlgebraicTopology/DoldKan/Equivalence.lean

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

Added CategoryTheory.Abelian.DoldKan.equivalence View on Github →