Inaccessible

📁 Source: Batteries/Lean/Meta/Inaccessible.lean

Statistics

Metric	Count
Definitions inaccessibleFVars, renameInaccessibleFVars, getInaccessibleFVars	3
Theorems	0
Total	3

Lean.LocalContext

Definitions

Name	Category	Theorems
inaccessibleFVars 📖	CompOp	—

Lean.MVarId

Definitions

Name	Category	Theorems
renameInaccessibleFVars 📖	CompOp	—

Lean.Meta

Definitions

Name	Category	Theorems
getInaccessibleFVars 📖	CompOp	—

---

← Back to Index