OAI/Analysis/AncientFlat/Evolution/ClassicalSpatial.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.FrozenParametrix.c0Time_eq_sourceValue line 12
2. def OAI.ParametrixVolterra.extendedA line 37
3. lemma OAI.ParametrixVolterra.continuous_extendedA line 39
4. lemma OAI.ParametrixVolterra.extendedA_range line 44
5. lemma OAI.ParametrixVolterra.extendedA_lipschitz line 47
6. lemma OAI.ParametrixVolterra.duhamel_eq_sourceDuhamel line 57
7. lemma OAI.ParametrixVolterra.contDiff_duhamel_of_holder line 80
8. lemma OAI.ParametrixVolterra.contDiff_mildTime_of_correction line 114