Conv
📁 Source: Mathlib/Tactic/Widget/Conv.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsofSubExprPos, SelectionPanel, rpc, insertEnter, insertEnterSyntax, pathToStx, tacticConv? | 7 |
| Theorems | 0 |
| Total | 7 |
Mathlib.Tactic.Conv
Definitions
| Name | Category | Theorems |
|---|---|---|
SelectionPanel 📖 | CompOp | — |
insertEnter 📖 | CompOp | — |
insertEnterSyntax 📖 | CompOp | — |
pathToStx 📖 | CompOp | — |
tacticConv? 📖 | CompOp | — |
Mathlib.Tactic.Conv.Path
Definitions
| Name | Category | Theorems |
|---|---|---|
ofSubExprPos 📖 | CompOp | — |
Mathlib.Tactic.Conv.SelectionPanel
Definitions
| Name | Category | Theorems |
|---|---|---|
rpc 📖 | CompOp | — |
---