Theorem Function.support_smul_subset_right

Modification history