`BookProof.ChapterPriorDependence.diracPrior_nonneg` (a x : Hyp) : 0 ≤ diracPrior a x

Initializing...

`BookProof.ChapterPriorDependence.diracPrior_nonneg` (a x : Hyp) : 0 ≤ diracPrior a x · Prove2Me