OAI/Combinatorics/HadwigerCounterexample/PredictedDualEvaluation.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Predicted Dual Evaluation

  1. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.echo_pattern line 16
  2. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.gamma_unique line 67
  3. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.chorusClass line 81
  4. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.harmony line 90