Revision #1851 → #2355 · back to history
modifiedRadius (line segment)31d7bf6733c8
| Field | From #1851 | To #2355 |
|---|
| note | Mathlib treats radius only as a scalar in `Sphere.radius`, not as a line segment from center to surface. | Mathlib treats radius only as a scalar field of `EuclideanGeometry.Sphere`, not as a line segment from center to surface. |
modifiedParametric equation for the sphere658593bf20ad
| Field | From #1851 | To #2355 |
|---|
| anchors | [{"section":"Parametric","snippet":"A parametric equation for the sphere with radius"},{"type":"math_alttext","value":"{\\displaystyle {\\begin{aligned}x&=x_{0}+r\\sin \\theta \\;\\cos \\varphi \\\\y&=y_{0}+r\\sin \\theta \\;\\sin \\varphi \\\\z&=z_{0}+r\\cos \\theta \\,\\end{aligned}}}"}] | — |
| provenance | ai | ai-moderated |
addedAll points of a sphere are umbilics4c7e4c24b6c6
addedSphere has constant mean curvature31b7764911dd
addedTheorema Egregium3199c9d1d8d9