Simp

📁 Source: Aesop/Search/Expansion/Simp.lean

Statistics

Metric	Count
Definitions SimpResult, newGoal?, addLetDeclsToSimpTheorems, addLetDeclsToSimpTheoremsUnlessZetaDelta, simpAll, simpGoal, simpGoalWithAllHypotheses	7
Theorems	0
Total	7

Aesop

Definitions

Name	Category	Theorems
SimpResult 📖	CompData	—
addLetDeclsToSimpTheorems 📖	CompOp	—
addLetDeclsToSimpTheoremsUnlessZetaDelta 📖	CompOp	—
simpAll 📖	CompOp	—
simpGoal 📖	CompOp	—
simpGoalWithAllHypotheses 📖	CompOp	—

Aesop.SimpResult

Definitions

Name	Category	Theorems
newGoal? 📖	CompOp	—

---

← Back to Index