OAI/Combinatorics/HadwigerCounterexample/AnalyticParameters.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Analytic Parameters

  1. def OAI.HadwigerCounterexample.frameBills line 16
  2. structure OAI.HadwigerCounterexample.AnalyticParameters line 19
  3. def OAI.HadwigerCounterexample.PreparationParameters.conflicted line 35
  4. structure OAI.HadwigerCounterexample.PreparationParameters.veil line 38
  5. abbrev OAI.HadwigerCounterexample.PreparationParameters.Stations line 46
  6. theorem OAI.HadwigerCounterexample.PreparationParameters.beam_cost line 49
  7. theorem OAI.HadwigerCounterexample.PreparationParameters.veil.score_cost line 60
  8. structure OAI.HadwigerCounterexample.PreparationParameters.Align line 97
  9. theorem OAI.HadwigerCounterexample.PreparationParameters.veil.upright line 106