PowMul
📁 Source: PhysLean/Mathematics/Distribution/PowMul.lean
Statistics
| Metric | Count |
|---|---|
DefinitionspowOneMul | 1 |
| 2 | |
| Total | 3 |
Distribution
Definitions
| Name | Category | Theorems |
|---|---|---|
powOneMul 📖 | CompOp |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
norm_iteratedFDeriv_ofRealCLM 📖 | — | — | — | — | — |
powOneMul_apply 📖 | mathematical | — | powOneMul | — | — |
---