`BookProof.ChapterConditional.pMarg_eq_sum` (B : Matrix Y X 𝕜) (x : X) : pMarg B x = ∑ y, pJoint B x y

Initializing...

`BookProof.ChapterConditional.pMarg_eq_sum` (B : Matrix Y X 𝕜) (x : X) : pMarg B x = ∑ y, pJoint B x y · Prove2Me