OAI/Analysis/VlasovMaxwell/Retarded/ArrivalConeKernelPolarNorm.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.PhaseFlowOn.arrivalConeKernel_polar_norm line 39
2. lemma OAI.RVM.PhaseFlowOn.lintegral_norm_labelConeKernel line 94
3. lemma OAI.RVM.PhaseFlowOn.labelConeKernel_polar_norm line 114
4. lemma OAI.RVM.PhaseFlowOn.labelConeKernel_triangle_norm line 125
5. def OAI.RVM.arrivalReceiverTime line 215
6. lemma OAI.RVM.PhaseFlowOn.arrivalReceiverTime_measurable line 218
7. lemma OAI.RVM.PhaseFlowOn.arrivalReceiverTime_polar line 223
8. lemma OAI.RVM.PhaseFlowOn.lintegral_weighted_labelConeKernel line 232
9. lemma OAI.RVM.PhaseFlowOn.arrivalConeKernel_polar_weighted_norm line 264
10. lemma OAI.RVM.PhaseFlowOn.labelConeKernel_polar_weighted_norm line 327
11. lemma OAI.RVM.PhaseFlowOn.labelConeKernel_triangle_weighted_norm line 339