`BookProof.ChapterUniformPriorPosterior.binaryLikelihood_sum` (q : Hyp → ℝ) (x : Hyp) : ∑ observed : Bool, binaryLikelihood q x observed = 1

Initializing...

`BookProof.ChapterUniformPriorPosterior.binaryLikelihood_sum` (q : Hyp → ℝ) (x : Hyp) : ∑ observed : Bool, binaryLikelihood q x observed = 1 · Prove2Me