OAI/Combinatorics/HadwigerCounterexample/SurrogateProductBounds.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Surrogate Product Bounds

  1. theorem OAI.HadwigerCounterexample.StatusAnalysis.cottonError line 16
  2. def OAI.HadwigerCounterexample.StatusAnalysis.pigments line 39
  3. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.suede line 47
  4. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.insidePaint line 51
  5. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.suedeFloor line 55
  6. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.paintFloor line 62
  7. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.surrogate_close line 70
  8. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.score_sheen line 101
  9. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.score_prowl line 126