`BookProof.ChapterConditional.pJoint_nonneg` (B : Matrix Y X 𝕜) (x : X) (y : Y) : 0 ≤ pJoint B x y

Initializing...

`BookProof.ChapterConditional.pJoint_nonneg` (B : Matrix Y X 𝕜) (x : X) (y : Y) : 0 ≤ pJoint B x y · Prove2Me