AdditiveCombination
📁 Source: PrimeNumberTheoremAnd/Tactic/AdditiveCombination.lean
Statistics
| Metric | Count |
|---|---|
| 3 | |
| 3 | |
| Total | 6 |
Mathlib.Tactic.LinearCombination'
Definitions
| Name | Category | Theorems |
|---|---|---|
AdditiveCombination 📖 | CompOp | — |
elabAdditiveCombination 📖 | CompOp | — |
expandAdditiveCombo 📖 | CompOp | — |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
c_smul_pf 📖 | — | — | — | — | — |
pf_smul_c 📖 | — | — | — | — | — |
smul_pf 📖 | — | — | — | — | — |
---