OAI/Analysis/AncientFlat/Evolution/FiniteDifference.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParabolicInterpolation.difference line 11
2. def OAI.ParabolicInterpolation.average line 15
3. lemma OAI.ParabolicInterpolation.continuous_average line 19
4. lemma OAI.ParabolicInterpolation.average_sub line 28
5. lemma OAI.ParabolicInterpolation.average_const line 46
6. lemma OAI.ParabolicInterpolation.average_translate line 52
7. lemma OAI.ParabolicInterpolation.average_jet_eq_difference line 67
8. lemma OAI.ParabolicInterpolation.norm_average_le line 97
9. lemma OAI.ParabolicInterpolation.norm_difference_le line 121