Theorem Finset.mul_subset_iff_left

Modification history