`BookProof.ChapterBayesInference.joint_nonneg` (hprior : ∀ x, 0 ≤ prior x) (hL : ∀ x y, 0 ≤ L x y) (x : X) (y : Y) : 0 ≤ joint prior L x y

Initializing...

`BookProof.ChapterBayesInference.joint_nonneg` (hprior : ∀ x, 0 ≤ prior x) (hL : ∀ x y, 0 ≤ L x y) (x : X) (y : Y) : 0 ≤ joint prior L x y · Prove2Me