Theorem Finset.prod_nbij'

Modification history