Theorem Rat.num_den

Modification history