Theorem WellFounded.list_chain'

Modification history

2026-09-11 10:13
Mathlib/Data/List/Chain.lean
refactor: replace `IsWellFounded` with `WellFounded` (#42351) …
Deleted WellFounded.list_chain'View on Github →
2023-08-21 00:12
Mathlib/Data/List/Chain.lean
feat(Data/List/Chain): well-foundedness of chains under `List.Lex` (#6432) …
Added WellFounded.list_chain'View on Github →