Theorem Rat.den_mul_eq_num

Modification history