OAI/Combinatorics/HadwigerCounterexample/SuperlevelBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Superlevel Bounds

  1. def OAI.HadwigerCounterexample.cliff line 13
  2. theorem OAI.HadwigerCounterexample.cliff_bounds line 16
  3. theorem OAI.HadwigerCounterexample.cliff_thick line 46
  4. theorem OAI.HadwigerCounterexample.cliff_score line 59