Variable

📁 Source: Mathlib/Tactic/Variable.lean

Statistics

Metric	Count
Definitions bracketedBinderType, cleanBinders, completeBinders, completeBinders', elabVariables, getSubproblem, ignorevariable?, pendingActionableSynthMVar, variable?, checkRedundant, maxSteps, variableAliasAttr	12
Theorems	0
Total	12

Mathlib.Command.Variable

Definitions

Name	Category	Theorems
bracketedBinderType 📖	CompOp	—
cleanBinders 📖	CompOp	—
completeBinders 📖	CompOp	—
completeBinders' 📖	CompOp	—
elabVariables 📖	CompOp	—
getSubproblem 📖	CompOp	—
ignorevariable? 📖	CompOp	—
pendingActionableSynthMVar 📖	CompOp	—
variable? 📖	CompOp	—
variableAliasAttr 📖	CompOp	—

Mathlib.Command.Variable.variable?

Definitions

Name	Category	Theorems
checkRedundant 📖	CompOp	—
maxSteps 📖	CompOp	—

---

← Back to Index