`BookProof.ChapterUniformPrior.uniform_prior_posterior_le_iff` [Fintype Hyp] (likelihood : Hyp → Data → ℝ) (d : Data) (c : ℝ) (hc : 0 < c) (hevidence : 0 < BookProof.ChapterBayesIn

Initializing...

`BookProof.ChapterUniformPrior.uniform_prior_posterior_le_iff` [Fintype Hyp] (likelihood : Hyp → Data → ℝ) (d : Data) (c : ℝ) (hc : 0 < c) (hevidence : 0 < BookProof.ChapterBayesIn · Prove2Me