OAI/Combinatorics/Sensitivity/FiniteDepthError.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The explicit finite-depth error fraction.

  1. theorem OAI.Paper320.three_pow_linear_lower line 9
  2. theorem OAI.Paper320.finite_depth_error_fraction line 17
  3. theorem OAI.Paper320.comparisonV_step_bound line 36