Theorem Finset.noncommProd_singleton

Modification history