OAI/Combinatorics/HadwigerCounterexample/SyntheticArraySlices.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Synthetic Array Slices

  1. def OAI.HadwigerCounterexample.exhibit line 15
  2. theorem OAI.HadwigerCounterexample.exhibit_law line 18
  3. theorem OAI.HadwigerCounterexample.exhibit_color line 34
  4. abbrev OAI.HadwigerCounterexample.Sextant line 40
  5. def OAI.HadwigerCounterexample.reflectSextant line 41
  6. def OAI.HadwigerCounterexample.cartM line 51
  7. theorem OAI.HadwigerCounterexample.cart_target line 53
  8. theorem OAI.HadwigerCounterexample.cart_cross line 58
  9. theorem OAI.HadwigerCounterexample.col_flag line 80
  10. theorem OAI.HadwigerCounterexample.rank_torpedo line 94