OAI/Probability/ThorpShuffle/Parity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Thorp.Parity.sign line 15
2. theorem OAI.Thorp.Parity.sign_mul line 17
3. theorem OAI.Thorp.Parity.step_toggle line 20
4. theorem OAI.Thorp.Parity.sign_step_toggle line 59
5. theorem OAI.Thorp.Parity.mean_sign_step line 70
6. theorem OAI.Thorp.Parity.mean_sign_run line 85
7. theorem OAI.Thorp.Parity.law_sign_zero line 90