Theorem Rat.mul_den_eq_num

Modification history