OAI/Probability/ThorpShuffle/Tableaux.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Thorp.Young.Cells line 12

   Also declared: ComparatorChallenges/ThorpFirstReciprocal.lean:48 (same declaration text).

2. lemma OAI.Thorp.Young.fin_le_strictMono line 14
3. lemma OAI.Thorp.Young.card_column line 28
4. lemma OAI.Thorp.Young.card_row_subtype line 41
5. lemma OAI.Thorp.Young.eq_of_rowPreserving line 52
6. theorem OAI.Thorp.Young.column_sort_le line 63
7. lemma OAI.Thorp.Young.rowRankSum_le line 106
8. theorem OAI.Thorp.Young.column_sort line 113