mathlib

chore(measure_theory/measure/doubling): rename `is_doubling_measure` to `is_unif_loc_doubling_measure` (#18709)

feat(set_theory/cardinal/basic): clean up instances (#18714)

chore(group_theory/subgroup/basic): Protect `subgroup.subtype` (#18712)

feat(measure_theory/measurable_space): Cast of natural is measurable (#18676)

feat(combinatorics/additive/e_transform): e-transforms (#18683)