Theorem Finset.erase_sdiff_comm

Modification history