OAI/Combinatorics/HadwigerCounterexample/CellPositivityScales.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Cell Positivity Scales

  1. theorem OAI.HadwigerCounterexample.StatusAnalysis.Appearance.readCap line 19
  2. def OAI.HadwigerCounterexample.StatusAnalysis.Appearance.foil line 55
  3. theorem OAI.HadwigerCounterexample.StatusAnalysis.Appearance.foilCap line 61
  4. def OAI.HadwigerCounterexample.StatusAnalysis.smoothSilk line 110
  5. def OAI.HadwigerCounterexample.StatusAnalysis.gauze line 116
  6. theorem OAI.HadwigerCounterexample.StatusAnalysis.silken line 120
  7. theorem OAI.HadwigerCounterexample.StatusAnalysis.gauzeCalendar line 146