Theorem CategoryTheory.Abelian.DoldKan.equivalence_inverse

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.equivalence_inverseView on Github →