OAI/Probability/SignedSweeps/SignedArmDominance.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SignedSweeps.pair_signed_row_prefix line 12
2. lemma OAI.SignedSweeps.pair_signed_col_prefix line 34
3. lemma OAI.SignedSweeps.topRowCount_le_card line 58
4. lemma OAI.SignedSweeps.topColCount_add_row_excess line 61
5. lemma OAI.SignedSweeps.topRowCount_transpose_filter line 77
6. lemma OAI.SignedSweeps.signedHook_of_cover line 84
7. theorem OAI.SignedSweeps.pair_signed_hook line 126