Theorem RatFunc.coe_def

Modification history