Theorem Finset.mul_subset_iff

Modification history