Commit 2025-03-11 18:10 f03b5ad8

feat(Probability): posterior kernel (#19567) For a measure on a parameter, and a kernel that gives the conditional distribution of data given the parameter, we can define the posterior kernel, which gives the conditional distribution of the parameter given the data.