SavedState

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

Statistics

Metric	Count
Definitions runMetaM, runMetaM', getAssignedExprMVars, getIntroducedExprMVars	4
Theorems	0
Total	4

Lean.Meta

Definitions

Name	Category	Theorems
getAssignedExprMVars 📖	CompOp	—
getIntroducedExprMVars 📖	CompOp	—

Lean.Meta.SavedState

Definitions

Name	Category	Theorems
runMetaM 📖	CompOp	—
runMetaM' 📖	CompOp	—

---

← Back to Index