mathlib3

refactor(measure_theory/borel): `borel` is not an `instance`

#2326

Merged