Theorem NNRat.mul_den_eq_num

Modification history