OAI/Combinatorics/HadwigerCounterexample/PredictionDichotomy.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Prediction Dichotomy

  1. def OAI.HadwigerCounterexample.PreparationParameters.outlook line 18
  2. theorem OAI.HadwigerCounterexample.PreparationParameters.eclipse line 22
  3. structure OAI.HadwigerCounterexample.PreparationParameters.Sage line 37
  4. instance OAI.HadwigerCounterexample.PreparationParameters.(instance at line 42) line 42
  5. abbrev OAI.HadwigerCounterexample.PreparationParameters.Banners line 44
  6. def OAI.HadwigerCounterexample.PreparationParameters.tender line 46
  7. def OAI.HadwigerCounterexample.PreparationParameters.crowdSeed line 51
  8. theorem OAI.HadwigerCounterexample.PreparationParameters.crowdSeed_pos line 52
  9. theorem OAI.HadwigerCounterexample.PreparationParameters.cohort line 55
  10. theorem OAI.HadwigerCounterexample.PreparationParameters.pruneWhisper line 97
  11. theorem OAI.HadwigerCounterexample.PreparationParameters.outlook_to_dose line 165
  12. theorem OAI.HadwigerCounterexample.PreparationParameters.prepare line 206