OAI/Combinatorics/HadwigerCounterexample/LeafSurrogateExperiments.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Leaf Surrogate Experiments

  1. def OAI.HadwigerCounterexample.StatusAnalysis.Station.stageLeft line 20
  2. def OAI.HadwigerCounterexample.StatusAnalysis.Station.stageRight line 22
  3. def OAI.HadwigerCounterexample.StatusAnalysis.Station.stagePlane line 24
  4. def OAI.HadwigerCounterexample.StatusAnalysis.Station.twilight line 27
  5. def OAI.HadwigerCounterexample.StatusAnalysis.Station.eclipse line 31
  6. def OAI.HadwigerCounterexample.StatusAnalysis.Station.stratum line 34
  7. theorem OAI.HadwigerCounterexample.StatusAnalysis.Station.eclipse_beam line 39
  8. theorem OAI.HadwigerCounterexample.StatusAnalysis.skylineMean line 82