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

Initializing...

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