Theorem Function.support_smul_subset_left

Modification history