OAI/Combinatorics/HadwigerCounterexample/PairedMassIdentities.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Paired Mass Identities

  1. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.customer line 21
  2. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.custom line 25
  3. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.billboard line 27
  4. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.sales_core line 28
  5. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.sales_receipt line 40
  6. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.sales_part line 43
  7. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.sales_custom line 56
  8. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.prowl line 65
  9. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.sales_mean line 68
  10. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.sales_pos line 81
  11. theorem OAI.HadwigerCounterexample.StatusAnalysis.Station.arena_pos line 89