Theorem Finset.singleton_product_singleton

Modification history