OAI/Combinatorics/HadwigerCounterexample/ParameterExistence.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Parameter Existence

  1. def OAI.HadwigerCounterexample.birthG line 13
  2. structure OAI.HadwigerCounterexample.Ribbon line 14
  3. theorem OAI.HadwigerCounterexample.floor_supply line 25
  4. theorem OAI.HadwigerCounterexample.seed_ribbon line 32
  5. def OAI.HadwigerCounterexample.layout line 60
  6. theorem OAI.HadwigerCounterexample.lanesNeed line 62
  7. theorem OAI.HadwigerCounterexample.altitude_need line 80
  8. theorem OAI.HadwigerCounterexample.labels_large line 92
  9. theorem OAI.HadwigerCounterexample.exists_parameters line 116