Theorem Rat.mul_num_den'

Modification history