Forward

📁 Source: Aesop/Builder/Forward.lean

Statistics

Metric	Count
Definitions forward, forwardCore, forwardCore₂, getForwardIndexingMode, getImmediatePremises, forwardIndexTransparency, forwardTransparency	7
Theorems	0
Total	7

Aesop.RuleBuilder

Definitions

Name	Category	Theorems
forward 📖	CompOp	—
forwardCore 📖	CompOp	—
forwardCore₂ 📖	CompOp	—
getForwardIndexingMode 📖	CompOp	—
getImmediatePremises 📖	CompOp	—

Aesop.RuleBuilderOptions

Definitions

Name	Category	Theorems
forwardIndexTransparency 📖	CompOp	—
forwardTransparency 📖	CompOp	—

---

← Back to Index