Apply

📁 Source: Aesop/RuleTac/Apply.lean

Statistics

Metric	Count
Definitions apply, applyConst, applyConsts, applyExpr, applyExpr', applyTerm	6
Theorems	0
Total	6

Aesop.RuleTac

Definitions

Name	Category	Theorems
apply 📖	CompOp	—
applyConst 📖	CompOp	—
applyConsts 📖	CompOp	—
applyExpr 📖	CompOp	—
applyExpr' 📖	CompOp	—
applyTerm 📖	CompOp	—

---

← Back to Index