`BookProof.ChapterConditional.pMarg_nonneg` (B : Matrix Y X 𝕜) (x : X) : 0 ≤ pMarg B x

Initializing...

`BookProof.ChapterConditional.pMarg_nonneg` (B : Matrix Y X 𝕜) (x : X) : 0 ≤ pMarg B x · Prove2Me