Talk:Radon-Nikodym Theorem

Hadn't realised we already had trace $\sigma$-algebras set up here, (rather, I didn't know the proper name for a $\sigma$-algebra generated by intersections) and the part using the intersection measure might be a bit more aesthetically pleasing doing that instead. (avoiding having to play with the sum at the end) Will try to come back to it later, if anyone's passing by and wants to add it (as part of a Proof 2 with some refactoring I guess) feel free. Caliburn (talk) 15:38, 17 December 2021 (UTC)