Theorem Finset.vsub_inter_subset

Modification history