Theorem Finset.sdiff_subset_sdiff

Modification history