Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.sort_sorted

Modification history

2020-07-01 10:05

src/data/multiset/basic.lean

chore(data/finset, data/multiset): split into smaller files (#3256) …

Modified multiset.sort_sorted View on Github →

2017-11-23 23:33

data/multiset/basic.lean

feat(data/finset): fintype, multiset.sort, list.pmap

Added multiset.sort_sorted View on Github →