Elab

📁 Source: Mathlib/Tactic/GRewrite/Elab.lean

Statistics

Metric	Count
Definitions applyRwSeq, elabGRewriteConfig, evalGRewriteSeq, grewriteLocalDecl, grewriteSeq, grewriteTarget, grwSeq, tacticApply_rewrite___, tacticNth_grewrite_____, tacticNth_grw_____	10
Theorems	0
Total	10

Mathlib.Tactic

Definitions

Name	Category	Theorems
applyRwSeq 📖	CompOp	—
elabGRewriteConfig 📖	CompOp	—
evalGRewriteSeq 📖	CompOp	—
grewriteLocalDecl 📖	CompOp	—
grewriteSeq 📖	CompOp	—
grewriteTarget 📖	CompOp	—
grwSeq 📖	CompOp	—
tacticApply_rewrite___ 📖	CompOp	—
tacticNth_grewrite_____ 📖	CompOp	—
tacticNth_grw_____ 📖	CompOp	—

---

← Back to Index