OAI/Combinatorics/HadwigerCounterexample/PairedOptions.lean

GitHub source file

32 declarations, 0 contain sorry, 0 declared as axioms

Paired Options

  1. structure OAI.HadwigerCounterexample.StatusAnalysis.Quill line 17
  2. structure OAI.HadwigerCounterexample.StatusAnalysis.Typus line 23
  3. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Volumes line 29
  4. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Stakes line 30
  5. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Master line 31
  6. def OAI.HadwigerCounterexample.StatusAnalysis.toFormat line 32
  7. def OAI.HadwigerCounterexample.StatusAnalysis.toRates line 33
  8. abbrev OAI.HadwigerCounterexample.StatusAnalysis.OnFile line 34
  9. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Scrip line 36
  10. instance OAI.HadwigerCounterexample.StatusAnalysis.quillFintype line 38
  11. instance OAI.HadwigerCounterexample.StatusAnalysis.typusFintype line 54
  12. instance OAI.HadwigerCounterexample.StatusAnalysis.scripFintype line 63
  13. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.pen line 72
  14. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.moral line 73
  15. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.canDraw line 76
  16. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.penSpace line 80
  17. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.signed line 83
  18. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.deposit line 86
  19. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.sales line 92
  20. def OAI.HadwigerCounterexample.StatusAnalysis.Typus.permission line 101
  21. def OAI.HadwigerCounterexample.StatusAnalysis.Typus.chances line 108
  22. def OAI.HadwigerCounterexample.StatusAnalysis.notified line 113
  23. structure OAI.HadwigerCounterexample.StatusAnalysis.Station line 117
  24. def OAI.HadwigerCounterexample.StatusAnalysis.Station.bank line 123
  25. theorem OAI.HadwigerCounterexample.StatusAnalysis.Station.create line 131
  26. def OAI.HadwigerCounterexample.StatusAnalysis.Station.news line 144
  27. def OAI.HadwigerCounterexample.StatusAnalysis.Station.frontPage line 146
  28. def OAI.HadwigerCounterexample.StatusAnalysis.Station.backPage line 148
  29. def OAI.HadwigerCounterexample.StatusAnalysis.Station.leftSales line 151
  30. def OAI.HadwigerCounterexample.StatusAnalysis.Station.rightSales line 154
  31. def OAI.HadwigerCounterexample.StatusAnalysis.Station.matchScore line 158
  32. def OAI.HadwigerCounterexample.StatusAnalysis.Station.arena line 162