Theorem Thunk.get_pure

Modification history

2024-07-15 23:26
Mathlib/Lean/Thunk.lean
chore: bump dependencies (upstream LazyList) (#14778) …
Added Thunk.get_pureView on Github →