Laplacian
📁 Source: PhysLean/SpaceAndTime/Space/Derivatives/Laplacian.lean
Statistics
| Metric | Count |
|---|---|
| 4 | |
Theoremslaplacian_eq_div_of_grad | 1 |
| Total | 5 |
Space
Definitions
| Name | Category | Theorems |
|---|---|---|
laplacian 📖 | CompOp | |
laplacianVec 📖 | CompOp | |
termΔ 📖 | CompOp | — |
termΔ_1 📖 | CompOp | — |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
laplacian_eq_div_of_grad 📖 | mathematical | — | laplaciandivgrad | — | — |
---