Theorem RatFunc.num_X

Modification history