Theorem Function.support_smul

Modification history