OAI/Combinatorics/HadwigerCounterexample/ConditionalLargeSetHits.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Conditional Large Set Hits

  1. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.prelim line 18
  2. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.sameInk line 22
  3. structure OAI.HadwigerCounterexample.StatusAnalysis.Quill.steady line 25
  4. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.thinGlaze line 35
  5. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.tinyCell_loss line 61