S136 is scattered

[felixpernegger]

No description provided.

[mathmaster13]

Hi! I tried to review this but got stuck figuring out what it meant. It looks to me like you're integrating a function $\chi_{{r}}$ with a set $M$ and getting another function $x_r$ back? What does that mean?

[mathmaster13]

The other 3 files are tiny and look okay to me.

[felixpernegger]

Hi! I tried to review this but got stuck figuring out what it meant. It looks to me like you're integrating a function χ r with a set M and getting another function x r back? What does that mean?

The $x_r$ are in the definition of the space, as well as $M$.
However I do realise that the way I wrote the argument does not actually make sense (the proof in my head does, but i wrote it down super wrongly), so thank you, I'll rewrite it.