OAI/Analysis/VlasovMaxwell/Population/BulkSpatialUniform.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RVM.bulkSpatialBoundary line 14
2. lemma OAI.RVM.Admissible.bulk_spatial_uniform line 19
3. lemma OAI.RVM.PhaseFlowOn.bulkGeometry_pointwise line 67
4. lemma OAI.RVM.PhaseFlowOn.bulkGeometry_bin_integral line 127
5. lemma OAI.RVM.PhaseFlowOn.bulkGeometry_spatial_sum line 165
6. lemma OAI.RVM.Admissible.bulk_geometry_uniform line 200