Theorem Finset.subset_vsub

Modification history