Theorem RatFunc.mk_smul

Modification history