Have

📁 Source: Mathlib/Tactic/Have.lean

Statistics

Metric	Count
Definitions haveIdLhs', haveLetCore, optBinderIdent, name, tacticHave_, tacticLet_, tacticSuffices_	7
Theorems	0
Total	7

Mathlib.Tactic

Definitions

Name	Category	Theorems
haveIdLhs' 📖	CompOp	—
haveLetCore 📖	CompOp	—
optBinderIdent 📖	CompOp	—
tacticHave_ 📖	CompOp	—
tacticLet_ 📖	CompOp	—
tacticSuffices_ 📖	CompOp	—

Mathlib.Tactic.optBinderIdent

Definitions

Name	Category	Theorems
name 📖	CompOp	—

---

← Back to Index