TermReduce

📁 Source: Mathlib/Util/TermReduce.lean

Statistics

Metric	Count
Definitions betaStx, deltaStx, elabBeta, elabDelta, elabReduceProj, elabZeta, reduceProjStx, zetaStx	8
Theorems	0
Total	8

Mathlib.Util.TermReduce

Definitions

Name	Category	Theorems
betaStx 📖	CompOp	—
deltaStx 📖	CompOp	—
elabBeta 📖	CompOp	—
elabDelta 📖	CompOp	—
elabReduceProj 📖	CompOp	—
elabZeta 📖	CompOp	—
reduceProjStx 📖	CompOp	—
zetaStx 📖	CompOp	—

---

← Back to Index