mathlib4

ci: labels_from_comment anchor label match to whole line (#40267)

feat(ci): download prebuilt tools from master instead of rebuilding every run (#40136)

chore: expire delegations if later pushes touch sensitive files (#40207)

feat(RiemannZeta): zeta in terms of completedRiemannZeta₀ (#40127)

feat(Algebra/Module/LocalizedModule): generalize `smul'_mk` (#40196)