ForExprs

📁 Source: Mathlib/Lean/MessageData/ForExprs.lean

Statistics

Metric	Count
Definitions Exprs, msg, exprs, firstExpr?, forExprsIn, getExprs, instForInExprsProdPPContextExpr	7
Theorems	0
Total	7

Lean.MessageData

Definitions

Name	Category	Theorems
Exprs 📖	CompData	—
exprs 📖	CompOp	—
firstExpr? 📖	CompOp	—
forExprsIn 📖	CompOp	—
getExprs 📖	CompOp	—
instForInExprsProdPPContextExpr 📖	CompOp	—

Lean.MessageData.Exprs

Definitions

Name	Category	Theorems
msg 📖	CompOp	—

---

← Back to Index