Conv

📁 Source: Mathlib/Tactic/Widget/Conv.lean

Statistics

Metric	Count
Definitions SelectionPanel, rpc, insertEnter, insertEnterSyntax, tacticConv?	5
Theorems	0
Total	5

Mathlib.Tactic.Conv

Definitions

Name	Category	Theorems
SelectionPanel 📖	CompOp	—
insertEnter 📖	CompOp	—
insertEnterSyntax 📖	CompOp	—
tacticConv? 📖	CompOp	—

Mathlib.Tactic.Conv.SelectionPanel

Definitions

Name	Category	Theorems
rpc 📖	CompOp	—

---

← Back to Index