WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Spherical harmonics
Revision #2300 → #2673 ·
back to history
modified
Laplace's equation in spherical coordinates
5eec8f2c85a7
Field
From #2300
To #2673
mathlib.decl
InnerProductSpace.Laplacian
InnerProductSpace.laplacianWithin
provenance
ai
ai-moderated