mathlib

423328e0 - chore(probability/independence): change to set notation and `measurable_set` (#12400)