Theorem RatFunc.numDenom_div

Modification history