`BookProof.ChapterBayesInference.evidence_eq_marginal` (y : Y) : evidence prior L y = ∑ x, joint prior L x y

Initializing...

`BookProof.ChapterBayesInference.evidence_eq_marginal` (y : Y) : evidence prior L y = ∑ x, joint prior L x y · Prove2Me