Theorem RatFunc.intDegree_add_le

Modification history