Theorem Multiset.wellFounded_lt

Modification history

2023-11-03 10:44
Mathlib/Data/Multiset/Basic.lean
feat: Shorthands for well-foundedness of `<` and `>` (#7865) …
Deleted Multiset.wellFounded_ltView on Github →
2023-01-13 09:59
Mathlib/Data/Multiset/Basic.lean
feat: port Data.Multiset.Basic (#1491)
Added Multiset.wellFounded_ltView on Github →