OAI/Combinatorics/HadwigerCounterexample/FullTemplateComparison.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Full Template Comparison

  1. theorem OAI.HadwigerCounterexample.ab_cut line 13
  2. theorem OAI.HadwigerCounterexample.lift_window line 19
  3. theorem OAI.HadwigerCounterexample.Template.patched_board line 33
  4. theorem OAI.HadwigerCounterexample.Template.patched_exceed line 64