Commit 2023-01-18 17:32 6bec256d

View on Github →

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

Estimated changes

added theorem Finset.smul_prod
added theorem Finset.smul_sum
added theorem List.smul_prod
added theorem List.smul_sum
added theorem Multiset.smul_prod
added theorem Multiset.smul_sum