Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-13 10:53 3bb2b5c5

View on Github →

feat(algebra/big_operators): dvd_sum (#1679)

feat(data/multiset): dvd_sum
feat(algebra/big_operators): dvd_sum
fix build
fix build
fix build

Estimated changes

Modified src/algebra/big_operators.lean

added theorem finset.dvd_sum

Modified src/data/list/basic.lean

added theorem list.dvd_sum

Modified src/data/multiset.lean

added theorem multiset.dvd_sum