Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-05 14:05 e105c9ea

View on Github →

feat(data/multiset): add prod_map_add

Estimated changes

Modified data/multiset.lean

added theorem multiset.prod_map_add