∫ Утверждение Mathlib
tendsto_iterate_fixedPoint
Mathlib.Topology.MetricSpace.Contracting
URI: https://scilib.ai/kg/mathlib#ContractingWith.tendsto_iterate_fixedPoint
∫ Утверждение Mathlib
Mathlib.Topology.MetricSpace.Contracting
URI: https://scilib.ai/kg/mathlib#ContractingWith.tendsto_iterate_fixedPoint