∫ Утверждение Mathlib
iterate_eq_of_map_eq_add_int
Mathlib.Dynamics.Circle.RotationNumber.TranslationNumber
URI: https://scilib.ai/kg/mathlib#CircleDeg1Lift.iterate_eq_of_map_eq_add_int
∫ Утверждение Mathlib
Mathlib.Dynamics.Circle.RotationNumber.TranslationNumber
URI: https://scilib.ai/kg/mathlib#CircleDeg1Lift.iterate_eq_of_map_eq_add_int