OAI/Analysis/VlasovMaxwell/Retarded/ConeEulerianIntegrand.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.physicalBin_integral_eq_triangle line 36
2. def OAI.RVM.coneEulerianIntegrand line 68
3. lemma OAI.RVM.measurable_coneEulerianIntegrand line 74
4. lemma OAI.RVM.PhaseFlowOn.cone_occupation_eq_receiver_coordinates line 95
5. lemma OAI.RVM.PhaseFlowOn.physical_bin_point_mem line 122
6. lemma OAI.RVM.PhaseFlowOn.physicalBinDensity_le_Eulerian line 156