Theorem Finset.mul_subset_mul_right

Modification history