chore: adaptations for nightly-2024-10-30

[kim-em]

No description provided.

[github-actions]

PR summary 1686bee2eb

Import changes for modified files

Dependency changes

File	Base Count	Head Count	Change
Mathlib.Data.List.GroupBy	289	0	-289 (-100.00%)

Import changes for all files

Files	Import difference
There are 4850 files with changed transitive imports taking up over 201493 characters: this is too many to display!
You can run scripts/import_trans_difference.sh all locally to see the whole output.

---

Declarations diff

+ ListBlank.cons_flatMap
+ ListBlank.flatMap
+ ListBlank.flatMap_mk
+ Perm.flatMap_left
+ _root_.FreeAddMonoid.ofList_join
+ append_flatten_map_append
+ bind_eq_flatMap
+ chain'_flatten
+ chain'_getLast_head_splitBy
+ chain'_of_mem_splitBy
+ countP_flatMap
+ countP_flatMap'
+ countP_flatten'
+ count_flatMap
+ count_flatMap'
+ count_flatten'
+ drop_sum_flatten
+ drop_sum_flatten'
+ drop_take_succ_flatten_eq_getElem
+ drop_take_succ_flatten_eq_getElem'
+ filterMap_eq_flatMap_toList
+ flatMap_append_perm
+ flatMap_congr
+ flatMap_pure_eq_map
+ flatten_drop_length_sub_one
+ flatten_groupBy
+ flatten_splitBy
+ flatten_splitWrtComposition
+ flatten_splitWrtCompositionAux
+ infix_flatMap_of_mem
+ instance : CommRing (BitVec w)
+ instance : KStar (Language α) := ⟨fun l ↦ {x | ∃ L : List (List α), x = L.flatten ∧ ∀ y ∈ L, y ∈ l}⟩
+ join_splitBy
+ length_flatMap
+ length_flatMap'
+ length_flatten'
+ list_flatMap
+ list_flatten
+ map_append_flatMap_perm
+ ne_nil_of_mem_splitBy
+ nil_not_mem_splitBy
+ nodupKeys_flatten
+ nodup_flatMap
+ nodup_flatten
+ ofFin_intCast
+ ofFin_natCast
+ ofFin_neg
+ ofList_flatten
+ prod_flatten
+ ranges_flatten
+ ranges_flatten'
+ rel_flatMap
+ rel_flatten
+ splitBy_nil
+ splitWrtComposition_flatten
+ sublistsAux_eq_flatMap
+ sum_join
+ take_sum_flatten
+ take_sum_flatten'
+ toFin_intCast
+ toFin_natCast
- Quotient.decidableEq
- add_zero
- curry
- curry_apply
- curry_uncurry
- fst_swap
- getElem?_mapIdx
- getElem?_mapIdx_go
- instance : KStar (Language α) := ⟨fun l ↦ {x | ∃ L : List (List α), x = L.join ∧ ∀ y ∈ L, y ∈ l}⟩
- join_filter_isEmpty_eq_false
- join_groupBy
- length_mapIdx
- length_mapIdx_go
- mapIdx_append
- mapIdx_cons
- mapIdx_eq_enum_map
- mapIdx_nil
- map_comp_map
- map_comp_swap
- map_id
- map_id'
- map_map
- map_uncurry_zip_eq_zipWith
- modify_eq_set
- snd_swap
- swap
- swap_inj
- swap_prod_mk
- swap_swap
- swap_swap_eq
- uncurry
- uncurry_apply_pair
- uncurry_curry

You can run this locally as follows

## summary with just the declaration names:
./scripts/declarations_diff.sh <optional_commit>

## more verbose report:
./scripts/declarations_diff.sh long <optional_commit>

The doc-module for script/declarations_diff.sh contains some details about this script.

[kim-em]

Kyle has confirmed this change is "by design", and that if downstream tactics want to generate hygienic names they need to do so themselves.