LinearCombination
📁 Source: Mathlib/Tactic/LinearCombination.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsExpanded, elabLinearCombination, expStx, expandLinearCombo, linearCombination, normStx, rescale | 7 |
| Theorems | 0 |
| Total | 7 |
Mathlib.Tactic.LinearCombination
Definitions
| Name | Category | Theorems |
|---|---|---|
Expanded 📖 | CompData | — |
elabLinearCombination 📖 | CompOp | — |
expStx 📖 | CompOp | — |
expandLinearCombo 📖 | CompOp | — |
linearCombination 📖 | CompOp | — |
normStx 📖 | CompOp | — |
rescale 📖 | CompOp | — |
---