OAI/Combinatorics/HadwigerCounterexample/PairedCollisionBounds.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Paired Collision Bounds

  1. theorem OAI.HadwigerCounterexample.StatusAnalysis.quillState line 14
  2. def OAI.HadwigerCounterexample.StatusAnalysis.Station.clash line 21
  3. def OAI.HadwigerCounterexample.StatusAnalysis.Station.beamPrice line 24
  4. structure OAI.HadwigerCounterexample.StatusAnalysis.Station.earnsScore line 26
  5. theorem OAI.HadwigerCounterexample.StatusAnalysis.Station.sellPoint line 38
  6. theorem OAI.HadwigerCounterexample.StatusAnalysis.Station.arena_bound line 102