Theorem Function.const_mul

Modification history