OAI/Combinatorics/HadwigerCounterexample/SyntheticFailureBounds.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Synthetic Failure Bounds

  1. theorem OAI.HadwigerCounterexample.pr_mono_support line 13
  2. def OAI.HadwigerCounterexample.fiddleRate line 22
  3. theorem OAI.HadwigerCounterexample.fiddle_bound line 25
  4. def OAI.HadwigerCounterexample.havoc line 43
  5. theorem OAI.HadwigerCounterexample.havoc_rate line 47
  6. def OAI.HadwigerCounterexample.mute line 84
  7. theorem OAI.HadwigerCounterexample.common_lit line 87
  8. theorem OAI.HadwigerCounterexample.common_dial line 94
  9. theorem OAI.HadwigerCounterexample.mute_rate line 101