Rewrite

📁 Source: Mathlib/Lean/Meta/Tactic/Rewrite.lean

Statistics

Metric	Count
Definitions rewrite, rewriteType, Rewrite	3
Theorems	0
Total	3

Lean.Expr

Definitions

Name	Category	Theorems
rewrite 📖	CompOp	—
rewriteType 📖	CompOp	—

Mathlib.Tactic.LibraryRewrite

Definitions

Name	Category	Theorems
Rewrite 📖	CompData	—

---

← Back to Index