OAI/Analysis/VlasovMaxwell/Retarded/ConeForceSplit.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RVM.selectedDyadicCutoff_compl line 14
  2. lemma OAI.RVM.PhaseFlowOn.labelCutoff_compl_smul line 30
  3. def OAI.RVM.transportOnlyConeKernel line 49
  4. def OAI.RVM.sourceOnlyConeKernel line 53
  5. lemma OAI.RVM.forceSourceKernel_zero line 56
  6. lemma OAI.RVM.normalised_transport_flux line 59
  7. lemma OAI.RVM.normalised_source_flux line 65
  8. lemma OAI.RVM.PhaseFlowOn.transportOnlyConeKernel_continuousOn line 73
  9. lemma OAI.RVM.PhaseFlowOn.sourceOnlyConeKernel_continuousOn line 88
  10. lemma OAI.RVM.triangleConeKernel_add line 93
  11. lemma OAI.RVM.labelConeKernel_add line 102
  12. lemma OAI.RVM.triangleConeKernel_transport line 111
  13. lemma OAI.RVM.triangleConeKernel_source line 119
  14. lemma OAI.RVM.PhaseFlowOn.unselected_force_norm_split line 129
  15. lemma OAI.RVM.PhaseFlowOn.selectedTransportTriangle_le line 156
  16. lemma OAI.RVM.PhaseFlowOn.selectedSourceTriangle_density_le line 188
  17. lemma OAI.RVM.PhaseFlowOn.selectedSourceTriangle_majorant_le line 217