Zulip Chat Archive
Stream: Is there code for X?
Topic: Spherical coordinates
ZhiKai Pong (Apr 16 2025 at 23:01):
Hi, I'm looking to implement spherical coordinates in PhysLean, and I'd just like to check that mathlib currently doesn't have them either? I only found docs#polarCoord
Last updated: May 02 2025 at 03:31 UTC