Theorem Finset.union_sdiff_cancel_left

Modification history