OAI/Combinatorics/HadwigerCounterexample/RankSubrectangles.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Rank Subrectangles

  1. theorem OAI.HadwigerCounterexample.basis_subcolumns line 14
  2. theorem OAI.HadwigerCounterexample.minor_arc line 61
  3. theorem OAI.HadwigerCounterexample.lastCol line 77
  4. theorem OAI.HadwigerCounterexample.border_same line 104