Theorem Finset.prod_sdiff_le_prod_sdiff

Modification history