Ext

📁 Source: Aesop/Util/Tactic/Ext.lean

Statistics

Metric	Count
Definitions ExtResult, commonFVarIds, depth, goals, straightLineExt, straightLineExtProgress	6
Theorems	0
Total	6

Aesop

Definitions

Name	Category	Theorems
ExtResult 📖	CompData	—
straightLineExt 📖	CompOp	—
straightLineExtProgress 📖	CompOp	—

Aesop.ExtResult

Definitions

Name	Category	Theorems
commonFVarIds 📖	CompOp	—
depth 📖	CompOp	—
goals 📖	CompOp	—

---

← Back to Index