mathlib3

c1894c88 - chore(analysis|measure_theory|topology): give tsum notation precedence 67 (#5709)

chore(analysis|measure_theory|topology): give tsum notation precedence 67 (#5709) This saves us a lot of `()` In particular, lean no longer thinks that `∑' i, f i = 37` is a tsum of propositions.