`BookProof.ChapterHierarchicalBayes.evidence_eq_marginal` (outer : A → ℝ) (inner : A → B → ℝ) (likelihood : A → B → ℝ) : hierEvidence outer inner likelihood = ∑ a, outer a * margin

Initializing...

`BookProof.ChapterHierarchicalBayes.evidence_eq_marginal` (outer : A → ℝ) (inner : A → B → ℝ) (likelihood : A → B → ℝ) : hierEvidence outer inner likelihood = ∑ a, outer a * margin · Prove2Me