Update LaTeX documentation of Probabilities to reflect Lean

[marekpetrik]

The LaTeX documentation is out of date. The Lean results now seem to be put together well and it would be good to have the LaTeX code reflect the main approach and techniques used in the formulation.