Theorem Finset.prod_singleton

Modification history