Theorem Finset.prod_nbij

Modification history