OAI/Combinatorics/HadwigerCounterexample/StatusCharts.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

Status Charts

  1. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Ax line 14
  2. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Charts line 15
  3. def OAI.HadwigerCounterexample.StatusAnalysis.charted line 17
  4. theorem OAI.HadwigerCounterexample.StatusAnalysis.chart_create line 20
  5. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Format line 36
  6. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Messenger line 37
  7. def OAI.HadwigerCounterexample.StatusAnalysis.sendId line 38
  8. def OAI.HadwigerCounterexample.StatusAnalysis.transit line 39
  9. theorem OAI.HadwigerCounterexample.StatusAnalysis.sendPair line 40
  10. theorem OAI.HadwigerCounterexample.StatusAnalysis.transit_inv line 42
  11. def OAI.HadwigerCounterexample.StatusAnalysis.parcel line 44
  12. def OAI.HadwigerCounterexample.StatusAnalysis.manager line 45
  13. def OAI.HadwigerCounterexample.StatusAnalysis.roll line 48
  14. theorem OAI.HadwigerCounterexample.StatusAnalysis.roll_project line 50
  15. def OAI.HadwigerCounterexample.StatusAnalysis.targetMark line 62
  16. def OAI.HadwigerCounterexample.StatusAnalysis.hailing line 64
  17. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Magazine line 68
  18. def OAI.HadwigerCounterexample.StatusAnalysis.specify line 69
  19. def OAI.HadwigerCounterexample.StatusAnalysis.printed line 77
  20. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Amounts line 81
  21. def OAI.HadwigerCounterexample.StatusAnalysis.sendSum line 83
  22. theorem OAI.HadwigerCounterexample.StatusAnalysis.shooting_range line 88
  23. theorem OAI.HadwigerCounterexample.StatusAnalysis.sum_shots line 107
  24. theorem OAI.HadwigerCounterexample.StatusAnalysis.shots_ok line 115