`BookProof.ChapterNoBestPrior.eq_of_expectedUtility_ge_all` (p q : Hyp → ℝ) (h : ∀ u : Hyp → ℝ, expectedUtility q u ≤ expectedUtility p u) : p = q

Initializing...

`BookProof.ChapterNoBestPrior.eq_of_expectedUtility_ge_all` (p q : Hyp → ℝ) (h : ∀ u : Hyp → ℝ, expectedUtility q u ≤ expectedUtility p u) : p = q · Prove2Me