Theorem NNRat.den_mul_eq_num

Modification history