∫ Утверждение Mathlib
infinite_rat_abs_sub_lt_one_div_den_sq_of_irrational
Mathlib.NumberTheory.DiophantineApproximation.Basic
URI: https://scilib.ai/kg/mathlib#Real.infinite_rat_abs_sub_lt_one_div_den_sq_of_irrational
∫ Утверждение Mathlib
Mathlib.NumberTheory.DiophantineApproximation.Basic
URI: https://scilib.ai/kg/mathlib#Real.infinite_rat_abs_sub_lt_one_div_den_sq_of_irrational