Theorem Finset.union_sdiff_cancel_right

Modification history