OAI/Combinatorics/HadwigerCounterexample/ZeroDiscrepancyPrediction.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Zero Discrepancy Prediction

  1. def OAI.HadwigerCounterexample.zoomset line 12
  2. theorem OAI.HadwigerCounterexample.zoom_le line 15
  3. def OAI.HadwigerCounterexample.screenRank line 20
  4. def OAI.HadwigerCounterexample.screen line 21
  5. theorem OAI.HadwigerCounterexample.coreRole line 32
  6. theorem OAI.HadwigerCounterexample.inner_gem line 70
  7. theorem OAI.HadwigerCounterexample.zero_screen line 93