Summary
- Multivariate_Analysis: add continuous_on_vec_lambda
- Probability: show that measures form a complete lattice
- move open_Collect_eq/less to HOL
- move Conditional_Complete_Lattices to Main
- Probability: introduce Hahn decomposition; use it to clean up Radon_Nikodym
- Probability: tuned headers; cleanup Radon_Nikodym