`BookProof.ChapterSequentialBayes.posterior_eq_bayesUpdate` {Y : Type*} (prior : X → ℝ) (L : X → Y → ℝ) (y : Y) : BookProof.ChapterBayesInference.posterior prior L y = bayesUpdate

Initializing...

`BookProof.ChapterSequentialBayes.posterior_eq_bayesUpdate` {Y : Type*} (prior : X → ℝ) (L : X → Y → ℝ) (y : Y) : BookProof.ChapterBayesInference.posterior prior L y = bayesUpdate · Prove2Me