ErwQuestion

📁 Source: Mathlib/Tactic/ErwQuestion.lean

Statistics

Metric	Count
Definitions erw?, extractRewriteEq, extractRewriteHypEq, logDiffs, verbose	5
Theorems	0
Total	5

Mathlib.Tactic.Erw?

Definitions

Name	Category	Theorems
erw? 📖	CompOp	—
extractRewriteEq 📖	CompOp	—
extractRewriteHypEq 📖	CompOp	—
logDiffs 📖	CompOp	—

Mathlib.Tactic.Erw?.tactic.erw?

Definitions

Name	Category	Theorems
verbose 📖	CompOp	—

---

← Back to Index