Theorem Thunk.prod_get_fst

Modification history

2024-07-19 05:13

Mathlib/Lean/Thunk.lean

chore(Mathlib/Lean): remove use of autoImplicit (#14884) …

Modified Thunk.prod_get_fst View on Github →

2023-08-01 10:36

Mathlib/Lean/Thunk.lean

feat: products of Thunks (#6096)

Added Thunk.prod_get_fst View on Github →