Theorem RatFunc.intDegree_zero

Modification history