OAI/Combinatorics/HadwigerCounterexample/TemplateTypicality.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Template Typicality

  1. theorem OAI.HadwigerCounterexample.fork_law line 14
  2. def OAI.HadwigerCounterexample.Template.collect line 28
  3. abbrev OAI.HadwigerCounterexample.Template.PosA line 31
  4. abbrev OAI.HadwigerCounterexample.Template.PosB line 32
  5. def OAI.HadwigerCounterexample.Template.atA line 33
  6. def OAI.HadwigerCounterexample.Template.atB line 34
  7. def OAI.HadwigerCounterexample.Template.forkI line 36
  8. def OAI.HadwigerCounterexample.Template.forkK line 38
  9. def OAI.HadwigerCounterexample.Template.sampleAll line 41
  10. def OAI.HadwigerCounterexample.Template.connectT line 46
  11. theorem OAI.HadwigerCounterexample.Template.connect_avg line 52
  12. theorem OAI.HadwigerCounterexample.Template.typical_calendar line 94