Theorem Finset.sdiff_union_erase_cancel

Modification history