OAI/Probability/SignedSweeps/OccurrenceDominance.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SignedSweeps.alternating_vector_transversal line 10
2. def OAI.SignedSweeps.topRowCount line 39
3. lemma OAI.SignedSweeps.topRowCount_eq_filter line 42
4. lemma OAI.SignedSweeps.topRowCount_eq_sum_columns line 57
5. lemma OAI.SignedSweeps.topRowCount_eq_sum_rows line 81
6. lemma OAI.SignedSweeps.transversal_topRowCount_le line 110