Theorem Finset.prod_sigma'

Modification history