Theorem Finset.subset_mul_left

Modification history