`BookProof.ChapterPriorDependence.evidence_dirac` (a : Hyp) (L : Hyp → Data → ℝ) (d : Data) : BookProof.ChapterBayesInference.evidence (diracPrior a) L d = L a d

Initializing...

`BookProof.ChapterPriorDependence.evidence_dirac` (a : Hyp) (L : Hyp → Data → ℝ) (d : Data) : BookProof.ChapterBayesInference.evidence (diracPrior a) L d = L a d · Prove2Me