OAI/Analysis/VlasovMaxwell/Retarded/SelectedConeTransfer.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.selectedDyadicCutoff_active line 13
2. lemma OAI.RVM.stateCutoff_physical_cover line 27
3. def OAI.RVM.selectedConeKernel line 35
4. def OAI.RVM.selectedConeTriangle line 39
5. lemma OAI.RVM.PhaseFlowOn.selectedConeKernel_continuousOn line 44
6. lemma OAI.RVM.labelConeKernel_selected line 56
7. lemma OAI.RVM.selectedConeTriangle_eq_kernel line 68
8. lemma OAI.RVM.PhaseFlowOn.selectedConeTriangle_measurable line 75
9. lemma OAI.RVM.PhaseFlowOn.selectedConeTriangle_norm_transfer line 84
10. lemma OAI.RVM.PhaseFlowOn.selectedConeTriangle_support line 102
11. lemma OAI.RVM.PhaseFlowOn.selectedConeTriangle_physical_sum line 127