Theorem Acc.list_chain'

Modification history

2023-08-21 00:12
Mathlib/Data/List/Chain.lean
feat(Data/List/Chain): well-foundedness of chains under `List.Lex` (#6432) …
Added Acc.list_chain'View on Github →