OAI/Combinatorics/HadwigerCounterexample/ProjectionNets.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Projection Nets

  1. theorem OAI.HadwigerCounterexample.stamina_equiv line 13
  2. theorem OAI.HadwigerCounterexample.tension_equiv line 19
  3. theorem OAI.HadwigerCounterexample.budget_equiv line 25
  4. def OAI.HadwigerCounterexample.ample line 30
  5. theorem OAI.HadwigerCounterexample.ample_thresh line 35