Attr

📁 Source: Mathlib/Tactic/Push/Attr.lean

Statistics

Metric	Count
Definitions Head, ofExpr?, toString, PullTheorem, instBEqHead, beq, instInhabitedHead, default, instToStringHead, isPullThm, pullExt, pushAttr, pushExt	13
Theorems	0
Total	13

Mathlib.Tactic.Push

Definitions

Name	Category	Theorems
Head 📖	CompData	—
PullTheorem 📖	CompOp	—
instBEqHead 📖	CompOp	—
instInhabitedHead 📖	CompOp	—
instToStringHead 📖	CompOp	—
isPullThm 📖	CompOp	—
pullExt 📖	CompOp	—
pushAttr 📖	CompOp	—
pushExt 📖	CompOp	—

Mathlib.Tactic.Push.Head

Definitions

Name	Category	Theorems
ofExpr? 📖	CompOp	—
toString 📖	CompOp	—

Mathlib.Tactic.Push.instBEqHead

Definitions

Name	Category	Theorems
beq 📖	CompOp	—

Mathlib.Tactic.Push.instInhabitedHead

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index