Theorem Function.support_mul_subset_left

Modification history