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

equivalence₁_inverse

Mathlib.AlgebraicTopology.DoldKan.Compatibility

URI: https://scilib.ai/kg/mathlib#AlgebraicTopology.DoldKan.Compatibility.equivalence₁_inverse

← MathLib Explorer