OAI/Combinatorics/HadwigerCounterexample/FiniteComparisonBounds.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Finite Comparison Bounds

  1. def OAI.HadwigerCounterexample.StatusAnalysis.trimBeta line 16
  2. theorem OAI.HadwigerCounterexample.StatusAnalysis.trimBeta_pos line 17
  3. structure OAI.HadwigerCounterexample.StatusAnalysis.Jubilee line 19
  4. theorem OAI.HadwigerCounterexample.StatusAnalysis.cheapFest line 24
  5. theorem OAI.HadwigerCounterexample.StatusAnalysis.boothseek line 38
  6. theorem OAI.HadwigerCounterexample.StatusAnalysis.outcard line 46
  7. theorem OAI.HadwigerCounterexample.StatusAnalysis.sickBound line 53
  8. structure OAI.HadwigerCounterexample.StatusAnalysis.Loupe line 75
  9. structure OAI.HadwigerCounterexample.StatusAnalysis.Shipped line 79
  10. theorem OAI.HadwigerCounterexample.StatusAnalysis.ready_loupe line 83
  11. def OAI.HadwigerCounterexample.StatusAnalysis.routeC line 91
  12. abbrev OAI.HadwigerCounterexample.StatusAnalysis.KAspect line 94
  13. theorem OAI.HadwigerCounterexample.StatusAnalysis.routeLive line 97