GoalDiff

📁 Source: Aesop/RuleTac/GoalDiff.lean

Statistics

Metric	Count
Definitions GoalDiff, addedFVars, check, checkCore, comp, newGoal, oldGoal, removedFVars, targetChanged, diffGoals, getNewFVars, instInhabitedGoalDiff, default, isGoalDiffDefeqExpr, isGoalDiffDefeqLDecl, isGoalDiffDefeqTarget	16
Theorems	0
Total	16

Aesop

Definitions

Name	Category	Theorems
GoalDiff 📖	CompData	—
diffGoals 📖	CompOp	—
getNewFVars 📖	CompOp	—
instInhabitedGoalDiff 📖	CompOp	—
isGoalDiffDefeqExpr 📖	CompOp	—
isGoalDiffDefeqLDecl 📖	CompOp	—
isGoalDiffDefeqTarget 📖	CompOp	—

Aesop.GoalDiff

Definitions

Name	Category	Theorems
addedFVars 📖	CompOp	—
check 📖	CompOp	—
checkCore 📖	CompOp	—
comp 📖	CompOp	—
newGoal 📖	CompOp	—
oldGoal 📖	CompOp	—
removedFVars 📖	CompOp	—
targetChanged 📖	CompOp	—

Aesop.instInhabitedGoalDiff

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index