∫ Утверждение Mathlib
dist_le_tsum_dist_of_tendsto₀
Mathlib.Topology.Algebra.InfiniteSum.Real
URI: https://scilib.ai/kg/mathlib#dist_le_tsum_dist_of_tendsto₀
∫ Утверждение Mathlib
Mathlib.Topology.Algebra.InfiniteSum.Real
URI: https://scilib.ai/kg/mathlib#dist_le_tsum_dist_of_tendsto₀