Theorem Finset.vsub_subset_vsub

Modification history