Theorem Finset.inter_vsub_subset

Modification history