Theorem Finset.prod_toList

Modification history