Foundation.Utility

Theorem Expected Utility Representation staged

Theorem Independence Of The VNM Axioms staged

Definition Lottery staged

Theorem Positive Affine Uniqueness Of Utility staged

Theorem Risk Neutrality staged

Theorem Sure Thing Principle staged

Definition Von Neumann Morgenstern Axioms staged