OAI/Combinatorics/Sensitivity/TournamentCounts.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The exact internal edge count and the small gate-candidate bound.

  1. def OAI.Paper320.Tournament.internalEdges line 16
  2. theorem OAI.Paper320.Tournament.card_internalEdges line 19
  3. theorem OAI.Paper320.Tournament.sum_outdegree_eq line 47
  4. theorem OAI.Paper320.Tournament.card_le_three_of_outdegree_le_one line 51