chore: missed changes from mathlib bump#138

grunweg merged 1 commit intoleanprover-community:masterleanprover-community/sphere-eversion:masterfrom

Ruben-VandeVelde:bump-2026-01Ruben-VandeVelde/sphere-eversion:bump-2026-01Copy head branch name to clipboard