OAI/Combinatorics/HadwigerCounterexample/CoordinateDuality.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Coordinate Duality

  1. structure OAI.HadwigerCounterexample.StatusAnalysis.DualCoefficients line 14
  2. def OAI.HadwigerCounterexample.StatusAnalysis.DualCoefficients.bet line 21
  3. def OAI.HadwigerCounterexample.StatusAnalysis.DualCoefficients.law line 24
  4. theorem OAI.HadwigerCounterexample.StatusAnalysis.coordinates line 28
  5. theorem OAI.HadwigerCounterexample.StatusAnalysis.jargon_score line 45
  6. abbrev OAI.HadwigerCounterexample.StatusAnalysis.excessK line 56
  7. theorem OAI.HadwigerCounterexample.StatusAnalysis.signal_dim line 57
  8. theorem OAI.HadwigerCounterexample.StatusAnalysis.ker_two line 61
  9. def OAI.HadwigerCounterexample.StatusAnalysis.overage line 71
  10. theorem OAI.HadwigerCounterexample.StatusAnalysis.overage_two line 72
  11. theorem OAI.HadwigerCounterexample.StatusAnalysis.overage_mono line 75
  12. theorem OAI.HadwigerCounterexample.StatusAnalysis.overage_lt line 77