Theorem Finset.sdiff_erase_self

Modification history