OAI/Analysis/VlasovMaxwell/Geometry/Sphere.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.RVM.Sphere line 18
2. abbrev OAI.RVM.sphereMeasure line 19
3. lemma OAI.RVM.integral_radial_measure line 21
4. lemma OAI.RVM.integrable_polar line 33
5. lemma OAI.RVM.integral_polar line 47
6. lemma OAI.RVM.deriv_moving_energy line 72