User contributions for 161.116.84.146
Appearance
26 November 2024
- 13:4213:42, 26 November 2024 diff hist +5,645 N Complete measure The measure \mu is a priori defined only in \Sigma. We are extending it to \Sigma_0. There was a typo in the definition of the outer measure. current