AtLocation

📁 Source: Mathlib/Util/AtLocation.lean

Statistics

Metric	Count
Definitions withNondepPropLocation, transformAtLocalDecl, transformAtLocation, transformAtNondepPropLocation, transformAtTarget	5
Theorems	0
Total	5

Lean.Elab.Tactic

Definitions

Name	Category	Theorems
withNondepPropLocation 📖	CompOp	—

Mathlib.Tactic

Definitions

Name	Category	Theorems
transformAtLocalDecl 📖	CompOp	—
transformAtLocation 📖	CompOp	—
transformAtNondepPropLocation 📖	CompOp	—
transformAtTarget 📖	CompOp	—

---

← Back to Index