`BookProof.ChapterUniformPriorPosterior.uniform_binary_evidence` (q : Hyp → ℝ) (hq_sum : ∑ x, q x = 1) (c : ℝ) : BookProof.ChapterBayesInference.evidence (fun _ : Hyp => c) (binary

Initializing...

`BookProof.ChapterUniformPriorPosterior.uniform_binary_evidence` (q : Hyp → ℝ) (hq_sum : ∑ x, q x = 1) (c : ℝ) : BookProof.ChapterBayesInference.evidence (fun _ : Hyp => c) (binary · Prove2Me