∫ Утверждение Mathlib
Ico_image_const_sub_eq_Ico
Mathlib.Order.Interval.Finset.Nat
URI: https://scilib.ai/kg/mathlib#Nat.Ico_image_const_sub_eq_Ico
∫ Утверждение Mathlib
Mathlib.Order.Interval.Finset.Nat
URI: https://scilib.ai/kg/mathlib#Nat.Ico_image_const_sub_eq_Ico