OAI/Combinatorics/HadwigerCounterexample/PredictedDualCoefficients.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Predicted Dual Coefficients

  1. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.scaled line 19
  2. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Pulsar.mult line 21
  3. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.scaleShot line 23
  4. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.center_tri line 34
  5. abbrev OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.styles line 47
  6. structure OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.PredictionData line 49
  7. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.PredictionData.colored line 55
  8. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.ChorusCost line 60
  9. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.duet_edge line 65