Theorem Finset.sdiff_eq_filter

Modification history