OAI/Combinatorics/HadwigerCounterexample/TesterFourierSupport.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Tester Fourier Support

  1. theorem OAI.HadwigerCounterexample.roleT_scan line 13
  2. theorem OAI.HadwigerCounterexample.sharedT_scan line 28
  3. theorem OAI.HadwigerCounterexample.T0_scanZ line 40
  4. def OAI.HadwigerCounterexample.Template.shanty line 51
  5. def OAI.HadwigerCounterexample.Template.stave line 53
  6. def OAI.HadwigerCounterexample.Template.slash line 54
  7. def OAI.HadwigerCounterexample.Template.scroll line 56
  8. theorem OAI.HadwigerCounterexample.Template.scroll_dim line 60
  9. theorem OAI.HadwigerCounterexample.Template.shanty_arc line 70
  10. theorem OAI.HadwigerCounterexample.Template.shanty_cap line 93
  11. theorem OAI.HadwigerCounterexample.Template.shanty_outer line 107