OAI/Analysis/VlasovMaxwell/Retarded/MagneticBoundaryJets.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.continuous_datumMagneticMoment line 12
2. lemma OAI.RVM.datumWeightedSphere_magneticMoment line 20
3. lemma OAI.RVM.magneticConeBoundary_datum_jets line 41
4. lemma OAI.RVM.norm_iteratedFDeriv_vec_le line 78
5. lemma OAI.RVM.datum_boundary_global_jets line 94