OAI/Analysis/VlasovMaxwell/Continuation/PrefixClamp.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.PhaseFlowOn.flow_contDiffOn line 36
2. lemma OAI.RVM.PhaseFlowOn.acceleration_continuousOn line 57
3. lemma OAI.RVM.PhaseFlowOn.actual_branch_regular line 73
4. lemma OAI.RVM.PhaseFlowOn.actual_weighted_signed_identity line 103
5. def OAI.RVM.prefixClamp line 149
6. lemma OAI.RVM.prefixClamp_mem line 151
7. lemma OAI.RVM.prefixClamp_eq line 154
8. def OAI.RVM.prefixFlow line 157
9. lemma OAI.RVM.PhaseFlowOn.continuous_prefixFlow line 160
10. structure OAI.RVM.ClosedConeBin line 168
11. def OAI.RVM.InClosedConeBin line 171
12. lemma OAI.RVM.inClosedConeBin_iff line 183
13. lemma OAI.RVM.isClosed_inClosedConeBin line 200
14. lemma OAI.RVM.PhaseFlowOn.compact_closed_bin_hit_labels line 223