Meta

📁 Source: Mathlib/Lean/Meta.lean

Statistics

Metric	Count
Definitions liftMetaTactic', run_for, existsi, getType'', intros!, let	6
Theorems	0
Total	6

Lean.Elab.Tactic

Definitions

Name	Category	Theorems
liftMetaTactic' 📖	CompOp	—
run_for 📖	CompOp	—

Lean.MVarId

Definitions

Name	Category	Theorems
existsi 📖	CompOp	—
getType'' 📖	CompOp	—
intros! 📖	CompOp	—
let 📖	CompOp	—

---

← Back to Index