Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.rel.mono

Modification history

2021-03-23 19:49

src/data/multiset/basic.lean

feat(data/multiset/basic): generalize rel.mono, rel_map (#6771)

Modified multiset.rel.mono View on Github →

2018-05-10 15:29

data/multiset.lean

feat(data/multiset): add relator

Added multiset.rel.mono View on Github →