`BookProof.ChapterNoBestPrior.not_uniformly_better` (p q : Hyp → ℝ) (hpq : p ≠ q) : ¬ ∀ u : Hyp → ℝ, expectedUtility q u ≤ expectedUtility p u

Initializing...

`BookProof.ChapterNoBestPrior.not_uniformly_better` (p q : Hyp → ℝ) (hpq : p ≠ q) : ¬ ∀ u : Hyp → ℝ, expectedUtility q u ≤ expectedUtility p u · Prove2Me