OAI/Analysis/VlasovMaxwell/Retarded/PicardKernel.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.compact_parameter_lipschitz line 14
2. lemma OAI.RVM.contDiffAt_normalisedElectricKernel line 42
3. def OAI.RVM.normalisedPhysicalIntegrand line 57
4. lemma OAI.RVM.normalisedPhysicalIntegrand_smoothAt line 62
5. lemma OAI.RVM.uniform_normalised_integrand_lipschitz line 78
6. lemma OAI.RVM.normalisedPhysicalIntegrand_eq line 106
7. lemma OAI.RVM.uniform_physical_integrand_lipschitz line 113
8. lemma OAI.RVM.integrable_physical_integrand line 131
9. lemma OAI.RVM.uniform_physical_integral_lipschitz line 141
10. lemma OAI.RVM.uniform_retarded_density_lipschitz line 176