Theorem Finset.prod_inv_index

Modification history