OAI/Combinatorics/HadwigerCounterexample/SimultaneousProjection.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Simultaneous Projection

  1. def OAI.HadwigerCounterexample.StatusAnalysis.sparks line 17
  2. def OAI.HadwigerCounterexample.StatusAnalysis.bullseye line 21
  3. theorem OAI.HadwigerCounterexample.StatusAnalysis.glowLamp line 30
  4. theorem OAI.HadwigerCounterexample.StatusAnalysis.minimums line 78
  5. theorem OAI.HadwigerCounterexample.StatusAnalysis.twinkle line 90
  6. theorem OAI.HadwigerCounterexample.StatusAnalysis.lateSilk line 112