OAI/Combinatorics/HadwigerCounterexample/FourCornerViews.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Four Corner Views

  1. abbrev OAI.HadwigerCounterexample.Corn line 13
  2. def OAI.HadwigerCounterexample.criss line 15
  3. def OAI.HadwigerCounterexample.quart line 17
  4. theorem OAI.HadwigerCounterexample.criss_pair line 21
  5. def OAI.HadwigerCounterexample.spread line 27
  6. theorem OAI.HadwigerCounterexample.quart_shift line 30
  7. theorem OAI.HadwigerCounterexample.quart_small line 41
  8. theorem OAI.HadwigerCounterexample.spread_gain line 63
  9. theorem OAI.HadwigerCounterexample.quart_CS line 113