Theorem Finset.mulConst_inv_left

Modification history