Theorem Finset.support_prod

Modification history