OAI/Probability/SignedSweeps/PairDominance.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SignedSweeps.pairColor line 10
  2. lemma OAI.SignedSweeps.pairColor_factor line 14
  3. lemma OAI.SignedSweeps.complexSign_pair line 32
  4. lemma OAI.SignedSweeps.pairColor_left_card line 40
  5. lemma OAI.SignedSweeps.pairColor_right_card line 50
  6. lemma OAI.SignedSweeps.Partition.colIndex_fiber_card line 60
  7. lemma OAI.SignedSweeps.Partition.rowIndex_fiber_card line 80
  8. theorem OAI.SignedSweeps.pair_occurrence_topRowCount line 100
  9. lemma OAI.SignedSweeps.invariant_vector_column_transversal line 142
  10. theorem OAI.SignedSweeps.pair_occurrence_topColCount line 167