OAI/Analysis/FourierLLogL/Thermal/Stretch.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

The packing consequence for weighted update choices

  1. lemma OAI.FourierLLogL.Dyadic.Thermal.most_delta line 16
  2. def OAI.FourierLLogL.Dyadic.Thermal.stepRad line 50
  3. def OAI.FourierLLogL.Dyadic.Thermal.track line 51
  4. lemma OAI.FourierLLogL.Dyadic.Thermal.spacing line 53
  5. lemma OAI.FourierLLogL.Dyadic.Thermal.r_steps line 103
  6. lemma OAI.FourierLLogL.Dyadic.Thermal.step_gap line 115