Theorem Thunk.get_mk

Modification history

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