OAI/Combinatorics/HadwigerCounterexample/FiniteOptionLabels.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Finite Option Labels

  1. abbrev OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Engagement line 20
  2. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.invite line 24
  3. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Engagement.tags line 57
  4. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Engagement.bits line 59
  5. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Engagement.genre0 line 61
  6. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Engagement.genre1 line 65
  7. def OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Engagement.binding line 69
  8. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.Engagement.solicit line 74
  9. theorem OAI.HadwigerCounterexample.StatusAnalysis.DualAnalysis.processions line 91