Theorem Finset.smul_sum

Modification history

2023-01-18 17:32

Mathlib/GroupTheory/GroupAction/BigOperators.lean

feat: port GroupTheory.GroupAction.BigOperators (#1655)

Added Finset.smul_sum View on Github →