Commit 2025-03-26 20:16 97f8d367

View on Github →

feat: add smul_finsum_mem (#23330)

Estimated changes

modified theorem Finset.smul_sum
modified theorem Multiset.smul_sum
added theorem smul_finsum_mem