Theorem Rat.add_num_den'

Modification history