Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.fmap_def

Modification history

2020-07-01 10:05

src/data/multiset/basic.lean

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

Modified multiset.fmap_def View on Github →

2020-05-31 17:05

src/data/multiset.lean

chore(*): update to lean 3.15.0 (#2851) …

Added multiset.fmap_def View on Github →