OAI/Analysis/AncientFlat/Evolution/MovingSource.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParametrixDilation.continuous_dil_joint line 11
2. lemma OAI.ParametrixDilation.holder_dil line 15
3. lemma OAI.FlatSimilarity.continuous_movingSource line 28
4. def OAI.FlatSimilarity.movingSource line 33
5. lemma OAI.FlatSimilarity.movingSource_apply line 37
6. lemma OAI.FlatSimilarity.movingSource_holder line 41
7. def OAI.FlatSimilarity.shiftedSource line 53
8. lemma OAI.FlatSimilarity.shiftedSource_holder line 57
9. lemma OAI.FlatSimilarity.shifted_movingSource_zero line 65