Theorem RatFunc.intDegree_neg

Modification history