Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.map_union

Modification history

2021-01-30 14:50
src/data/multiset/basic.lean
chore(*): split some long lines (#5959)
Modified multiset.map_unionView on Github →
2018-05-29 03:47
data/multiset.lean
feat(data/list/basic): map_erase, map_diff, map_union
Added multiset.map_unionView on Github →