OAI/Combinatorics/HadwigerCounterexample/FourCornerMasks.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

Four Corner Masks

  1. def OAI.HadwigerCounterexample.wingpair line 13
  2. abbrev OAI.HadwigerCounterexample.Template.PackSlot line 21
  3. abbrev OAI.HadwigerCounterexample.Template.PackStack line 23
  4. def OAI.HadwigerCounterexample.Template.untwin line 25
  5. def OAI.HadwigerCounterexample.Template.yieldK line 30
  6. def OAI.HadwigerCounterexample.Template.seam line 32
  7. def OAI.HadwigerCounterexample.Template.sees line 34
  8. instance OAI.HadwigerCounterexample.Template.(instance at line 36) line 36
  9. def OAI.HadwigerCounterexample.Template.cantRail line 38
  10. theorem OAI.HadwigerCounterexample.Template.cant_mem line 41
  11. def OAI.HadwigerCounterexample.Template.cantVec line 44
  12. theorem OAI.HadwigerCounterexample.Template.yield_view line 47
  13. theorem OAI.HadwigerCounterexample.Template.scores_together line 58
  14. theorem OAI.HadwigerCounterexample.Template.seam_score_fixed line 67
  15. def OAI.HadwigerCounterexample.Template.gatedStack line 78
  16. theorem OAI.HadwigerCounterexample.Template.cant_bridge line 81
  17. def OAI.HadwigerCounterexample.Template.packSecs line 106
  18. theorem OAI.HadwigerCounterexample.Template.pack_gate line 109