OAI/Analysis/AncientFlat/Geometry/ParabolicWindows.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ParabolicLocalization.window line 11
  2. def OAI.ParabolicLocalization.windowValue line 13
  3. def OAI.ParabolicLocalization.windowTime line 15
  4. lemma OAI.ParabolicLocalization.pow_four_quarter line 17
  5. lemma OAI.ParabolicLocalization.pdist_window line 21
  6. lemma OAI.ParabolicLocalization.windowValue_contDiff line 28
  7. lemma OAI.ParabolicLocalization.window_jet line 32
  8. lemma OAI.ParabolicLocalization.window_bilaplacian line 40
  9. lemma OAI.ParabolicLocalization.window_hasDerivAt line 46
  10. lemma OAI.ParabolicLocalization.window_equation line 52
  11. lemma OAI.ParabolicLocalization.holder_window line 67