Theorem Thunk.ext

Modification history

2024-06-14 04:23

Mathlib/Lean/Thunk.lean

chore: bump dependencies (#13789) …

Deleted Thunk.ext View on Github →

2023-08-01 10:36

Mathlib/Data/LazyList/Basic.lean

feat: products of Thunks (#6096)

Modified Thunk.ext View on Github →

2023-01-24 08:00

Mathlib/Data/LazyList/Basic.lean

feat: port Data.LazyList.Basic (#1776)

Added Thunk.ext View on Github →