∫ Утверждение Mathlib

equivalence_functor

Mathlib.AlgebraicTopology.DoldKan.Compatibility

URI: https://scilib.ai/kg/mathlib#AlgebraicTopology.DoldKan.Compatibility.equivalence_functor

← MathLib Explorer