OAI/Analysis/AncientFlat/Evolution/CutoffCore.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ParabolicLocalization.HolderBound.of_jet_zero line 13
  2. lemma OAI.ParabolicLocalization.cutoff_support line 21
  3. lemma OAI.ParabolicLocalization.cutoff_product_support line 26
  4. lemma OAI.ParabolicLocalization.cutoff_product_jet_zero line 29
  5. lemma OAI.ParabolicLocalization.cutoff_product_compact line 36
  6. lemma OAI.ParabolicLocalization.cutoff_time_zero line 39
  7. lemma OAI.ParabolicLocalization.cutoff_time_compact line 42
  8. def OAI.ParabolicLocalization.cutoffValue line 44
  9. def OAI.ParabolicLocalization.cutoffDerivative line 45
  10. lemma OAI.ParabolicLocalization.cutoffDerivative_compact line 47
  11. lemma OAI.ParabolicLocalization.cutoffDerivative_zero line 52
  12. lemma OAI.ParabolicLocalization.cutoffValue_contDiff line 55
  13. def OAI.ParabolicLocalization.cutoffC0 line 58
  14. lemma OAI.ParabolicLocalization.cutoffC0_apply line 61
  15. lemma OAI.ParabolicLocalization.cutoffValue_pointwise_derivative line 63