OAI/Combinatorics/HadwigerCounterexample/RepeatedQueryBounds.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Repeated Query Bounds

  1. theorem OAI.HadwigerCounterexample.num_cross_peak line 15
  2. theorem OAI.HadwigerCounterexample.peak_sum line 34
  3. theorem OAI.HadwigerCounterexample.cross_flood line 64
  4. def OAI.HadwigerCounterexample.cInside line 97
  5. theorem OAI.HadwigerCounterexample.inside_count line 101
  6. theorem OAI.HadwigerCounterexample.many_frames line 112