Theorem Finset.sdiff_union_sdiff_cancel

Modification history