OAI/Analysis/VlasovMaxwell/Population/ContDiffDyadicMultiFactor.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.contDiffAt_dyadicMultiFactor_curve line 37
2. lemma OAI.RVM.contDiffAt_selectedDyadicCutoff_curve line 44
3. lemma OAI.RVM.contDiffOn_selectedDyadicCutoff_curve line 53
4. lemma OAI.RVM.inverseCoordinate_log_deriv line 61
5. lemma OAI.RVM.source_cutoff_logarithmic_rates line 70
6. lemma OAI.RVM.coneMotion_tangent line 127
7. lemma OAI.RVM.geometric_cutoff_logarithmic_rates line 133