Theorem Rat.num_one

Modification history