Theorem RatFunc.intDegree_polynomial

Modification history