Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-02 09:54 fe445767

View on Github →

feat(probability/martingale): the optional stopping theorem (#13630) We prove the optional stopping theorem (also known as the fair game theorem). This is number 62 on Freek 100 theorems.

Estimated changes