Theorem Finset.prod_sdiff_ne_prod_sdiff_iff

Modification history