Saturate

📁 Source: Aesop/Saturate.lean

Statistics

Metric	Count
Definitions SaturateM, Context, options, instInhabitedContext, default, run, saturateCore, getSingleGoal, isForwardOrDestructRuleName, saturate, saturateCore, saturateMain, saturateMain'	13
Theorems	0
Total	13

Aesop

Definitions

Name	Category	Theorems
SaturateM 📖	CompOp	—
getSingleGoal 📖	CompOp	—
isForwardOrDestructRuleName 📖	CompOp	—
saturate 📖	CompOp	—
saturateCore 📖	CompOp	—
saturateMain 📖	CompOp	—
saturateMain' 📖	CompOp	—

Aesop.SaturateM

Definitions

Name	Category	Theorems
Context 📖	CompData	—
instInhabitedContext 📖	CompOp	—
run 📖	CompOp	—

Aesop.SaturateM.Context

Definitions

Name	Category	Theorems
options 📖	CompOp	—

Aesop.SaturateM.instInhabitedContext

Definitions

Name	Category	Theorems
default 📖	CompOp	—

Aesop.Stateful

Definitions

Name	Category	Theorems
saturateCore 📖	CompOp	—

---

← Back to Index