Theorem Finset.subset_mul

Modification history