Theorem Real.exists_rat_abs_sub_le_and_den_le

Modification history