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

Initializing...

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