OAI/Combinatorics/HadwigerCounterexample/KeyReferenceLaws.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Key Reference Laws

  1. abbrev OAI.HadwigerCounterexample.Toast line 14
  2. def OAI.HadwigerCounterexample.outlet line 15
  3. def OAI.HadwigerCounterexample.channelTag line 17
  4. theorem OAI.HadwigerCounterexample.channelTag_inj line 18
  5. def OAI.HadwigerCounterexample.mug line 21
  6. def OAI.HadwigerCounterexample.tray line 30
  7. def OAI.HadwigerCounterexample.handles line 33
  8. def OAI.HadwigerCounterexample.trayPort line 38
  9. def OAI.HadwigerCounterexample.trayJoin line 40
  10. def OAI.HadwigerCounterexample.trayMap line 50
  11. theorem OAI.HadwigerCounterexample.tray_sips line 54
  12. theorem OAI.HadwigerCounterexample.tray_wave line 57
  13. theorem OAI.HadwigerCounterexample.lawtray line 73
  14. theorem OAI.HadwigerCounterexample.mug_wave line 82
  15. theorem OAI.HadwigerCounterexample.lawmug line 108