remove adaptation note

long line

chore: bump toolchain to v4.8.0 (leanprover-community#13526)

update norm_num test post leanprover/lean4#4177

fix

merge

fixes

chore: bump to nightly-2024-05-29

Merge master into nightly-testing

Merge branches 'nightly-testing' and 'nightly-testing' of github.com:…

…leanprover-community/mathlib4 into

nightly-testing # Please enter a commit message to explain why this merge is necessary, # especially if it merges an
updated upstream into a topic branch. # # Lines starting with '#' will be ignored, and an empty message aborts # the
commit.