mathlib

35086a11 - feat(probability): define conditional probability and add basic related theorems (#12344)

feat(probability): define conditional probability and add basic related theorems (#12344) Add the definition of conditional probability as a scaled restricted measure and prove Bayes' Theorem and other basic theorems. Co-authored-by: Rémy Degenne <remydegenne@gmail.com>