OAI/Combinatorics/Sensitivity/Labeling.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

A finite union bound supplies a good edge labeling.

  1. theorem OAI.Paper320.Tournament.goodLabeling_exists_of_power_bound line 17
  2. theorem OAI.Paper320.goodLabeling_exists line 47
  3. theorem OAI.Paper320.regular_goodLabeling_exists line 54
  4. theorem OAI.Paper320.GoodLabeling.good_on_subset line 61