Theorem Rat.num_div_den

Modification history