Theorem Finset.prod_erase_attach

Modification history