Theorem Finset.vsub_subset_iff

Modification history