Theorem Rat.lt_one_iff_num_lt_denom

Modification history