Theorem RatFunc.num_denom_mul

Modification history