mathlib3

29d5700b - chore(geometry/manifold/instances/sphere): speedup a proof (#18586)

chore(geometry/manifold/instances/sphere): speedup a proof (#18586) This goes from 15s to 1.75 seconds. I've squeezed this in multiple steps to make the proof easier to follow.