OAI/Combinatorics/HadwigerCounterexample/FrameRotations.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Frame Rotations

  1. def OAI.HadwigerCounterexample.Move.vault line 14
  2. def OAI.HadwigerCounterexample.Move.boom line 22
  3. def OAI.HadwigerCounterexample.Move.fuse line 28
  4. theorem OAI.HadwigerCounterexample.Move.boom_primary line 35
  5. theorem OAI.HadwigerCounterexample.Move.fuse_inj line 44
  6. def OAI.HadwigerCounterexample.Move.kite line 48
  7. theorem OAI.HadwigerCounterexample.Move.kite_move line 51
  8. theorem OAI.HadwigerCounterexample.Move.kite_weights line 68
  9. theorem OAI.HadwigerCounterexample.Move.kite_keys line 83
  10. def OAI.HadwigerCounterexample.flowZ line 96
  11. theorem OAI.HadwigerCounterexample.scannedZ line 99
  12. theorem OAI.HadwigerCounterexample.scanned_flow line 106