Def Thunk.prod

Modification history

2023-08-01 10:36
Mathlib/Lean/Thunk.lean
feat: products of Thunks (#6096)
Added Thunk.prodView on Github →