RenameBVar

📁 Source: Mathlib/Tactic/RenameBVar.lean

Statistics

Metric	Count
Definitions renameBVarHyp, renameBVarTarget, «tacticRename_bvar_→__»	3
Theorems	0
Total	3

Mathlib.Tactic

Definitions

Name	Category	Theorems
renameBVarHyp 📖	CompOp	—
renameBVarTarget 📖	CompOp	—
«tacticRename_bvar_→__» 📖	CompOp	—

---

← Back to Index