mathlib3

09540cb3 - generalize and move borel_eq... lemmas