Theorem Finset.inv_product

Modification history