Theorem Finset.weightedVSub_smul

Modification history