Notation

📁 Source: Mathlib/Data/DFinsupp/Notation.lean

Statistics

Metric	Count
Definitions elabSingle₀, elabUpdate₀, instRepr, singleUnexpander, updateUnexpander	5
Theorems	0
Total	5

DFinsupp

Definitions

Name	Category	Theorems
instRepr 📖	CompOp	—
singleUnexpander 📖	CompOp	—
updateUnexpander 📖	CompOp	—

DFinsupp.Internal

Definitions

Name	Category	Theorems
elabSingle₀ 📖	CompOp	—
elabUpdate₀ 📖	CompOp	—

---

← Back to Index