Theorem Rat.exists_eq_mul_div_num_and_eq_mul_div_den

Modification history