OAI/Combinatorics/Sensitivity/LabelingBounds.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Symbolic estimates for the sixteen-vertex labeling union bound.

  1. theorem OAI.Paper320.le_ceil_sqrt_sq line 11
  2. theorem OAI.Paper320.labeling_space_large line 18