OAI/Analysis/VlasovMaxwell/Geometry/PhysicalDivision.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RVM.transportConeCoefficient line 12
2. def OAI.RVM.coneLorentz line 15
3. lemma OAI.RVM.transportConeCoefficient_contDiffAt line 18
4. lemma OAI.RVM.coneLorentz_contDiffAt line 29
5. lemma OAI.RVM.coneLorentz_vlasov_before line 42
6. lemma OAI.RVM.electric_transport_division_annulus line 51