Thunk

📁 Source: Mathlib/Lean/Thunk.lean

Statistics

Metric	Count
Definitions add, instAdd_mathlib, instDecidableEq_mathlib, prod	4
Theorems add_get, get_mk, get_pure, prod_get_fst, prod_get_snd	5
Total	9

Thunk

Definitions

Name	Category	Theorems
add 📖	CompOp	—
instAdd_mathlib 📖	CompOp	3 math math: bound_def, improve_def, add_get
instDecidableEq_mathlib 📖	CompOp	—
prod 📖	CompOp	2 math math: prod_get_snd, prod_get_fst

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
add_get 📖	mathematical	—	instAdd_mathlib	—	—
get_mk 📖	—	—	—	—	—
get_pure 📖	—	—	—	—	—
prod_get_fst 📖	mathematical	—	prod	—	—
prod_get_snd 📖	mathematical	—	prod	—	—

---

← Back to Index