∫ Утверждение Mathlib
equivalence_functor
Mathlib.AlgebraicTopology.DoldKan.Compatibility
URI: https://scilib.ai/kg/mathlib#AlgebraicTopology.DoldKan.Compatibility.equivalence_functor
∫ Утверждение Mathlib
Mathlib.AlgebraicTopology.DoldKan.Compatibility
URI: https://scilib.ai/kg/mathlib#AlgebraicTopology.DoldKan.Compatibility.equivalence_functor