Theorem Finset.sdiff_ssubset

Modification history