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.
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.