Theorem Rat.num_den_mk

Modification history