chore: bump Mathlib dependency to v4.29.0-rc6 and Verso to latest#471

teorth merged 8 commits intoteorth:mainteorth/analysis:mainfrom

david-christiansen:bump-mathlibdavid-christiansen/analysis:bump-mathlibCopy head branch name to clipboard