Laplacian

📁 Source: PhysLean/SpaceAndTime/Space/Derivatives/Laplacian.lean

Statistics

Metric	Count
Definitions laplacian, laplacianVec, termΔ, termΔ_1	4
Theorems laplacian_eq_div_of_grad	1
Total	5

Space

Definitions

Name	Category	Theorems
laplacian 📖	CompOp	1 math math: laplacian_eq_div_of_grad
laplacianVec 📖	CompOp	2 math math: ClassicalMechanics.planeWave_laplacian, curl_of_curl
termΔ 📖	CompOp	—
termΔ_1 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
laplacian_eq_div_of_grad 📖	mathematical	—	laplacian div grad	—	—

---

← Back to Index