Subst

📁 Source: Aesop/BuiltinRules/Subst.lean

Statistics

Metric	Count
Definitions matchSubstitutableIff?, prepareIff?, prepareIffs, subst, substEqs?, substEqsAndIffs?	6
Theorems	0
Total	6

Aesop.BuiltinRules

Definitions

Name	Category	Theorems
matchSubstitutableIff? 📖	CompOp	—
prepareIff? 📖	CompOp	—
prepareIffs 📖	CompOp	—
subst 📖	CompOp	—
substEqs? 📖	CompOp	—
substEqsAndIffs? 📖	CompOp	—

---

← Back to Index