Basic

📁 Source: Mathlib/Tactic/Basic.lean

Statistics

Metric	Count
Definitions clearAuxDecl, elabVariables, evalIntrov, introv, pushFVarAliasInfo, tacticAssumption', tacticMatch_target_, variables, withResetServerInfo, msgs, result?, trees	12
Theorems	0
Total	12

Mathlib.Tactic

Definitions

Name	Category	Theorems
clearAuxDecl 📖	CompOp	—
elabVariables 📖	CompOp	—
evalIntrov 📖	CompOp	—
introv 📖	CompOp	—
pushFVarAliasInfo 📖	CompOp	—
tacticAssumption' 📖	CompOp	—
tacticMatch_target_ 📖	CompOp	—
variables 📖	CompOp	—
withResetServerInfo 📖	CompOp	—

Mathlib.Tactic.withResetServerInfo.Result

Definitions

Name	Category	Theorems
msgs 📖	CompOp	—
result? 📖	CompOp	—
trees 📖	CompOp	—

---

← Back to Index