Zulip Chat Archive
Stream: Is there code for X?
Topic: integral over sphere
Tomas Skrivan (Feb 24 2024 at 22:32):
Is there a measure defined on Metric.sphere 0 1? I would like to state some theorems about surface integrals over a sphere.
Junyan Xu (Feb 25 2024 at 02:33):
Yes, docs#MeasureTheory.Measure.toSphere
See also
Last updated: May 02 2025 at 03:31 UTC