Theorem Rat.num_lt_succ_floor_mul_den

Modification history