Theorem Rat.num_divInt_den

Modification history