Theorem Finset.one_product_one

Modification history