OAI/Analysis/VlasovMaxwell/Retarded/SpaceConeDomain.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.PhaseFlowOn.receiver_polar_lintegral line 30
2. def OAI.RVM.spaceConeDomain line 108
3. def OAI.RVM.coneOccupation line 111
4. lemma OAI.RVM.PhaseFlowOn.cone_occupation_identity line 118
5. lemma OAI.RVM.PhaseFlowOn.phaseHits_in_branch line 155
6. lemma OAI.RVM.PhaseFlowOn.cone_occupation_angular_bound line 163