`BookProof.ChapterBayesInference.posterior_eq_joint_div_evidence` (y : Y) (x : X) : posterior prior L y x = joint prior L x y / evidence prior L y

Initializing...

`BookProof.ChapterBayesInference.posterior_eq_joint_div_evidence` (y : Y) (x : X) : posterior prior L y x = joint prior L x y / evidence prior L y · Prove2Me