`BookProof.ChapterConditional.pJoint_eq_cond_mul_marg` (B : Matrix Y X 𝕜) (x : X) (y : Y) (hx : 0 < pMarg B x) : pJoint B x y = pCond B x y * pMarg B x

Initializing...

`BookProof.ChapterConditional.pJoint_eq_cond_mul_marg` (B : Matrix Y X 𝕜) (x : X) (y : Y) (hx : 0 < pMarg B x) : pJoint B x y = pCond B x y * pMarg B x · Prove2Me