Theorem List.chain'_of_not

Modification history

2025-09-24 16:53
Mathlib/Data/List/Chain.lean
fix: adaptations for batteries#1421 (#29928) …
Deleted List.chain'_of_notView on Github →
2025-09-11 15:40
Mathlib/Data/List/Chain.lean
feat(data): List.Chain' helper lemmas (#25812) …
Added List.chain'_of_notView on Github →