RunningStats
📁 Source: Batteries/Data/RunningStats.lean
Statistics
| Metric | Count |
|---|---|
| 8 | |
| Theorems | 0 |
| Total | 8 |
Batteries
Definitions
| Name | Category | Theorems |
|---|---|---|
RunningStats 📖 | CompData | — |
Batteries.RunningStats
Definitions
| Name | Category | Theorems |
|---|---|---|
count 📖 | CompOp | — |
mean 📖 | CompOp | — |
push 📖 | CompOp | — |
sampleVariance 📖 | CompOp | — |
standardDeviation 📖 | CompOp | — |
var 📖 | CompOp | — |
variance 📖 | CompOp | — |
---