`BookProof.ChapterUniformPriorPosterior.uniform_prior_posterior_eq` (q : Hyp → ℝ) (hq_sum : ∑ x, q x = 1) (c : ℝ) (hc : 0 < c) (x : Hyp) : BookProof.ChapterBayesInference.posterior

Initializing...

`BookProof.ChapterUniformPriorPosterior.uniform_prior_posterior_eq` (q : Hyp → ℝ) (hq_sum : ∑ x, q x = 1) (c : ℝ) (hc : 0 < c) (x : Hyp) : BookProof.ChapterBayesInference.posterior · Prove2Me