InfoTree
📁 Source: Mathlib/Lean/Elab/InfoTree.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsfindSome?, findSomeM?, go, getDeclsByBody, getTheorems, onHighestNode?, collectTryThisSuggestions, go | 8 |
| Theorems | 0 |
| Total | 8 |
Lean.Elab
Definitions
| Name | Category | Theorems |
|---|---|---|
collectTryThisSuggestions 📖 | CompOp | — |
Lean.Elab.InfoTree
Definitions
| Name | Category | Theorems |
|---|---|---|
findSome? 📖 | CompOp | — |
findSomeM? 📖 | CompOp | — |
getDeclsByBody 📖 | CompOp | — |
getTheorems 📖 | CompOp | — |
onHighestNode? 📖 | CompOp | — |
Lean.Elab.InfoTree.findSomeM?
Definitions
| Name | Category | Theorems |
|---|---|---|
go 📖 | CompOp | — |
Lean.Elab.collectTryThisSuggestions
Definitions
| Name | Category | Theorems |
|---|---|---|
go 📖 | CompOp | — |
---