OAI/Combinatorics/HadwigerCounterexample/GramConditionedLaws.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Gram Conditioned Laws

  1. theorem OAI.HadwigerCounterexample.wav_iff line 16
  2. def OAI.HadwigerCounterexample.partMean line 46
  3. theorem OAI.HadwigerCounterexample.part_reset line 48
  4. theorem OAI.HadwigerCounterexample.wav_means line 58
  5. theorem OAI.HadwigerCounterexample.wave_lane_norm line 84
  6. theorem OAI.HadwigerCounterexample.lane_collapse line 88
  7. theorem OAI.HadwigerCounterexample.compare_waves line 103
  8. theorem OAI.HadwigerCounterexample.compare_station line 143