OAI/Analysis/AncientFlat/Evolution/SourceStep.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AncientMild.duhamel line 9
2. lemma OAI.AncientMild.integrand_continuousOn line 14
3. lemma OAI.AncientMild.integrand_integrable line 21
4. lemma OAI.AncientMild.duhamel_continuous line 27
5. lemma OAI.AncientMild.duhamel_norm_le line 42
6. lemma OAI.AncientMild.duhamel_add line 53
7. lemma OAI.AncientMild.duhamel_smul line 58
8. def OAI.AncientMild.sourceStep line 61
9. lemma OAI.AncientMild.sourceStep_apply line 73