OAI/Analysis/VlasovMaxwell/Population/InitialSignedBoundaryDensity.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.PhaseFlowOn.retarded_radius_separated line 36
2. lemma OAI.RVM.PhaseFlowOn.ae_retarded_radius_separated line 70
3. lemma OAI.RVM.signedPrimitive_scaled line 82
4. lemma OAI.RVM.signedPrimitive_scaled_norm line 87
5. def OAI.RVM.initialSignedBoundaryDensity line 110
6. lemma OAI.RVM.initialSignedBoundaryDensity_eq line 115
7. lemma OAI.RVM.initialSignedBoundaryDensity_norm line 128
8. lemma OAI.RVM.datum_reciprocal_cone_bound line 151
9. lemma OAI.RVM.initialSignedBoundary_velocity_bound line 179
10. lemma OAI.RVM.initialSignedBoundary_bound line 195