OAI/Combinatorics/HadwigerCounterexample/CompatibleOptionRealization.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Compatible Option Realization

  1. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Stalls line 15
  2. def OAI.HadwigerCounterexample.StatusAnalysis.booths line 17
  3. theorem OAI.HadwigerCounterexample.StatusAnalysis.buildBooths line 20
  4. theorem OAI.HadwigerCounterexample.StatusAnalysis.shelter line 27
  5. theorem OAI.HadwigerCounterexample.StatusAnalysis.sizedCharts line 38
  6. structure OAI.HadwigerCounterexample.StatusAnalysis.Fabric line 47
  7. def OAI.HadwigerCounterexample.StatusAnalysis.Fabric.hang line 54
  8. def OAI.HadwigerCounterexample.StatusAnalysis.Fabric.up line 56
  9. theorem OAI.HadwigerCounterexample.StatusAnalysis.optionVia line 63
  10. def OAI.HadwigerCounterexample.StatusAnalysis.berthTicket line 83
  11. theorem OAI.HadwigerCounterexample.StatusAnalysis.issueTicket line 88
  12. theorem OAI.HadwigerCounterexample.StatusAnalysis.berth_flags line 104
  13. def OAI.HadwigerCounterexample.StatusAnalysis.cardTone line 111
  14. theorem OAI.HadwigerCounterexample.StatusAnalysis.actualTone line 114
  15. theorem OAI.HadwigerCounterexample.StatusAnalysis.fitsTone line 120