Theorem Rat.mk'_num_den

Modification history