OAI/Probability/ThorpShuffle/ExtensionBounds.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Thorp.Young.extensions_card_ideal line 16
2. lemma OAI.Thorp.Young.extensions_card_compl_ideal line 51
3. lemma OAI.Thorp.Young.choose_le_extensions_split line 93
4. abbrev OAI.Thorp.Young.Lower line 157
5. def OAI.Thorp.Young.topPrefix line 159
6. lemma OAI.Thorp.Young.topPrefix_lower line 162
7. lemma OAI.Thorp.Young.card_topPrefix line 168
8. lemma OAI.Thorp.Young.card_lower_add line 177
9. lemma OAI.Thorp.Young.lower_col_lt line 182
10. theorem OAI.Thorp.Young.choose_row_le_extensions line 192