OAI/Combinatorics/HadwigerCounterexample/ProductCharacterTests.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Product Character Tests

  1. def OAI.HadwigerCounterexample.Pipe line 14
  2. theorem OAI.HadwigerCounterexample.pipe_prod line 18
  3. structure OAI.HadwigerCounterexample.Stage line 34
  4. theorem OAI.HadwigerCounterexample.far_avg line 44
  5. def OAI.HadwigerCounterexample.moveInputs line 52
  6. theorem OAI.HadwigerCounterexample.band_res line 55