GoalWithMVars

📁 Source: Aesop/Script/GoalWithMVars.lean

Statistics

Metric	Count
Definitions GoalWithMVars, goal, mvars, ofMVarId, instBEqGoalWithMVars, instInhabitedGoalWithMVars, default, instReprGoalWithMVars	8
Theorems	0
Total	8

Aesop

Definitions

Name	Category	Theorems
GoalWithMVars 📖	CompData	—
instBEqGoalWithMVars 📖	CompOp	—
instInhabitedGoalWithMVars 📖	CompOp	—
instReprGoalWithMVars 📖	CompOp	—

Aesop.GoalWithMVars

Definitions

Name	Category	Theorems
goal 📖	CompOp	—
mvars 📖	CompOp	—
ofMVarId 📖	CompOp	—

Aesop.instInhabitedGoalWithMVars

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index