Theorem RatFunc.eval_add

Modification history