OAI/Combinatorics/HadwigerCounterexample/QuadraticFourier.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Quadratic Fourier

  1. theorem OAI.HadwigerCounterexample.phase_trans line 13
  2. theorem OAI.HadwigerCounterexample.half_power line 18
  3. def OAI.HadwigerCounterexample.polarize line 22
  4. theorem OAI.HadwigerCounterexample.flare_rank line 26
  5. theorem OAI.HadwigerCounterexample.flare_affine line 64