Theorem RatFunc.smul_eq_C_smul

Modification history