OAI/Analysis/VlasovMaxwell/Population/UniformPopulation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RVM.uniform_population_bounded_of_increment line 15
2. theorem OAI.RVM.uniform_closed_population_bounded_of_increment line 151
3. theorem OAI.RVM.compact_nonempty_uniform_population_bounded_of_increment line 173
4. theorem OAI.RVM.compact_uniform_population_bounded_of_increment line 209
5. lemma OAI.RVM.PopulationIncrement.congr_on_prefix line 238
6. theorem OAI.RVM.Admissible.uniform_physical_support_of_increment line 256