Theorem Finset.mul_inter_subset

Modification history