GoalsLocation

📁 Source: Mathlib/Lean/GoalsLocation.lean

Statistics

Metric	Count
Definitions fvarId?, pos, rootExpr	3
Theorems	0
Total	3

Lean.SubExpr.GoalsLocation

Definitions

Name	Category	Theorems
fvarId? 📖	CompOp	—
pos 📖	CompOp	—
rootExpr 📖	CompOp	—

---

← Back to Index