Theorem Finset.product_singleton

Modification history