Theorem Real.exists_int_int_abs_mul_sub_le

Modification history