Theorem Finset.empty_product

Modification history