Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-26 19:07 0ea37e90

View on Github →

feat(algebra/big_operators): add prod_map, sum_map

Estimated changes