Def Finset.mulConst

Modification history