Theorem RatFunc.coe_apply

Modification history