Theorem Finset.mulConst_inv_right

Modification history