Theorem Finset.mulConst_empty_right

Modification history