Theorem RatFunc.monic_denom

Modification history