Probability theory section edits

[mayeechen]

Here's a first draft of changes to the probability theory preliminaries section, with Kuno as reviewer and Mayee as editor.