Probability theory

Probability theory.
Last modified May 30, 2023: update Gaussian processes (ff6a6c2)