OAI/Combinatorics/EditApproximation/Geometry/BandParameters.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Computed numerical slack for comparison-band coverage at non-bad nodes.

  1. theorem OAI.EditApproximation.computed_branching_fourth_power_le_quarterRoot line 9
  2. theorem OAI.EditApproximation.band_root_slack line 24
  3. theorem OAI.EditApproximation.nonbad_band_numerical_bound line 46
  4. theorem OAI.EditApproximation.computed_nonbad_band_numerical_bound line 103