OAI/Analysis/VlasovMaxwell/Geometry/ActualCutoffCoordinates.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.receiver_cutoff_logarithmic_rate line 37
2. def OAI.RVM.actualCutoffCoordinates line 67
3. lemma OAI.RVM.PhaseFlowOn.actualCutoffCoordinates_pos line 71
4. lemma OAI.RVM.PhaseFlowOn.actualCutoffCoordinates_le_one line 79
5. lemma OAI.RVM.PhaseFlowOn.actualCutoffCoordinates_contDiffAt line 87
6. lemma OAI.RVM.PhaseFlowOn.actual_selectedCutoff_contDiffAt line 113
7. lemma OAI.RVM.PhaseFlowOn.actual_selectedCutoff_absoluteContinuous line 122
8. lemma OAI.RVM.PhaseFlowOn.actual_selected_weighted_identity line 132