mathlib4

chore: update Mathlib dependencies 2026-06-09 (#40376)

feat: install gh inside the devcontainer (#39745)

chore(ci): skip deployment records for cache-upload environment (#40375)

feat(Algebra/Polynomial): lemmas about `modByMonic` (#37955)

chore: make lakefile point to most recent dependency versions (#40295)