OAI/Analysis/VlasovMaxwell/Geometry/ParticleTame.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.smooth_compact_jets_bound line 12
2. lemma OAI.RVM.transported_derivative_tame line 25
3. lemma OAI.RVM.norm_iteratedFDeriv_phase_slice line 61