OAI/Analysis/VlasovMaxwell/LocalPDE/UniformParticleDensityConstant.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.Admissible.uniform_particle_density_constant line 37
2. lemma OAI.RVM.Admissible.uniform_physicalBinDensity_constant line 48
3. lemma OAI.RVM.Admissible.uniform_actual_bin_Cauchy line 60
4. lemma OAI.RVM.exists_direction_step line 136
5. lemma OAI.RVM.exists_finite_direction_stops line 175