OAI/Combinatorics/HadwigerCounterexample/EndpointGramRanks.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Endpoint Gram Ranks

  1. theorem OAI.HadwigerCounterexample.pr_gram_target line 16
  2. theorem OAI.HadwigerCounterexample.pr_offset_cross line 33
  3. def OAI.HadwigerCounterexample.crossSquare line 58
  4. def OAI.HadwigerCounterexample.rankJump line 62
  5. theorem OAI.HadwigerCounterexample.shift_square line 66