OAI/Analysis/VlasovMaxwell/Retarded/CutoffRateMajorant.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RVM.cutoffRateMajorant line 37
  2. lemma OAI.RVM.cutoffRateMajorant_eq line 42
  3. lemma OAI.RVM.PhaseFlowOn.branchSelectedRate_coarse_bound line 50
  4. lemma OAI.RVM.retardedPrimitive_eq_inverse_smul line 91
  5. lemma OAI.RVM.cutoff_primitive_norm_bound line 95
  6. lemma OAI.RVM.continuousOn_cutoffRateMajorant line 109
  7. lemma OAI.RVM.EnergyPrefix.continuousOn_momentumForce line 130
  8. def OAI.RVM.normalisedCutoffPrimitive line 142
  9. lemma OAI.RVM.PhaseFlowOn.normalisedCutoffPrimitive_continuousOn line 148