OAI/Analysis/VlasovMaxwell/Population/DirectExpandedLargeAngular.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.remaining_large_good_receiver_expanded line 14
2. lemma OAI.RVM.remaining_large_good_angles_expanded line 37
3. lemma OAI.RVM.remaining_large_magnetic_receiver_expanded line 54
4. lemma OAI.RVM.remaining_large_magnetic_angles_expanded line 75
5. lemma OAI.RVM.remaining_large_combined_angles_expanded line 93
6. lemma OAI.RVM.Admissible.direct_remaining_source_large_uniform_expanded line 118