User contributions for 161.116.84.146
Jump to navigation
Jump to search
26 November 2024
- 14:4214: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