Theorem LazyList.mem_nil

Modification history

2024-07-15 23:26
Mathlib/Data/LazyList/Basic.lean
chore: bump dependencies (upstream LazyList) (#14778) …
Deleted LazyList.mem_nilView on Github →
2024-05-13 07:14
Mathlib/Data/LazyList/Basic.lean
feat: backport adaptations for nightly-2024-05-11 (#12854) …
Modified LazyList.mem_nilView on Github →
2023-01-24 08:00
Mathlib/Data/LazyList/Basic.lean
feat: port Data.LazyList.Basic (#1776)
Added LazyList.mem_nilView on Github →