Theorem Finset.mul_subset_mul_left

Modification history