OAI/Combinatorics/HadwigerCounterexample/PositiveTestMass.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Positive Test Mass

  1. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Aspect line 17
  2. abbrev OAI.HadwigerCounterexample.StatusAnalysis.ViewPair line 18
  3. def OAI.HadwigerCounterexample.StatusAnalysis.troupe line 20
  4. def OAI.HadwigerCounterexample.StatusAnalysis.cirque line 22
  5. def OAI.HadwigerCounterexample.StatusAnalysis.eligiblePair line 24
  6. def OAI.HadwigerCounterexample.StatusAnalysis.supportBudget line 28
  7. theorem OAI.HadwigerCounterexample.StatusAnalysis.engagedBudget line 31
  8. theorem OAI.HadwigerCounterexample.StatusAnalysis.inform line 46
  9. structure OAI.HadwigerCounterexample.StatusAnalysis.Lead line 89
  10. theorem OAI.HadwigerCounterexample.StatusAnalysis.troupe_bill line 95
  11. theorem OAI.HadwigerCounterexample.StatusAnalysis.troupe_home line 111
  12. theorem OAI.HadwigerCounterexample.StatusAnalysis.cirque_unit line 116