`BookProof.ChapterPriorDependence.posterior_dirac` (a : Hyp) (L : Hyp → Data → ℝ) (d : Data) (ha : 0 < L a d) (x : Hyp) : BookProof.ChapterBayesInference.posterior (diracPrior a) L

Initializing...

`BookProof.ChapterPriorDependence.posterior_dirac` (a : Hyp) (L : Hyp → Data → ℝ) (d : Data) (ha : 0 < L a d) (x : Hyp) : BookProof.ChapterBayesInference.posterior (diracPrior a) L · Prove2Me