borsuk-ulam.py

https://github.com/marimo-team/gallery-examples/blob/main/notebooks/math/borsuk-ulam.py