Notation
š Source: Mathlib/Data/Finsupp/Notation.lean
Statistics
| Metric | Count |
|---|---|
DefinitionselabSingleā, elabUpdateā, stxSingleā, stxUpdateā, funā, matchAlts, instRepr, singleUnexpander, updateUnexpander | 9 |
| Theorems | 0 |
| Total | 9 |
Finsupp
Definitions
| Name | Category | Theorems |
|---|---|---|
funā š | CompOp | ā |
instRepr š | CompOp | ā |
singleUnexpander š | CompOp | ā |
updateUnexpander š | CompOp | ā |
Finsupp.Internal
Definitions
| Name | Category | Theorems |
|---|---|---|
elabSingleā š | CompOp | ā |
elabUpdateā š | CompOp | ā |
stxSingleā š | CompOp | ā |
stxUpdateā š | CompOp | ā |
Finsupp.funā
Definitions
| Name | Category | Theorems |
|---|---|---|
matchAlts š | CompOp | ā |
---