Theorem Finset.smul_inter_subset

Modification history