Def CategoryTheory.Abelian.DoldKan.Γ

Modification history

2023-08-13 15:48

Mathlib/AlgebraicTopology/DoldKan/Equivalence.lean

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

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