[Merged by Bors] - chore: update Mathlib dependencies 2026-05-19#39570

mathlib-update-dependencies[bot] wants to merge 1 commit into

masterleanprover-community/mathlib4:masterfrom

update-dependencies-bot-use-onlyleanprover-community/mathlib4:update-dependencies-bot-use-onlyCopy head branch name to clipboard