OAI/Probability/ThorpShuffle/FixedLists/Lists.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Thorp.FixedLists.list_test_bound_raw line 14
2. theorem OAI.Thorp.FixedLists.list_tv_bound_raw line 41
3. lemma OAI.Thorp.FixedLists.images_factor line 63
4. theorem OAI.Thorp.FixedLists.listTV_bound_raw line 71
5. theorem OAI.Thorp.FixedLists.listTV_bound line 82
6. lemma OAI.Thorp.FixedLists.k_le_size line 99
7. theorem OAI.Thorp.FixedLists.listTV_256 line 103
8. theorem OAI.Thorp.FixedLists.listTV_1024_eventually line 121