OAI/Analysis/CoulombIonization/RadialBounds/RadialAxis.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombAnalysis.tfSpace_unitBall_volume line 58
  2. lemma OAI.CoulombAnalysis.tfSpace_radial_integral line 64
  3. lemma OAI.CoulombAnalysis.integral_Iic_hasDerivAt line 71
  4. lemma OAI.CoulombAnalysis.integral_Ioi_hasDerivAt line 83
  5. def OAI.CoulombAnalysis.radialAxis line 95
  6. lemma OAI.CoulombAnalysis.radialAxis_norm line 97
  7. def OAI.CoulombAnalysis.radialTrace line 99
  8. lemma OAI.CoulombAnalysis.IsRadial.trace line 101
  9. lemma OAI.CoulombAnalysis.radialTrace_continuousAt line 105
  10. lemma OAI.CoulombAnalysis.radialTrace_mem2 line 112
  11. lemma OAI.CoulombAnalysis.radialTrace_mem1 line 119
  12. def OAI.CoulombAnalysis.radialMassIntegrand line 133
  13. def OAI.CoulombAnalysis.radialTailIntegrand line 136
  14. def OAI.CoulombAnalysis.radialMass line 139
  15. def OAI.CoulombAnalysis.radialTail line 142
  16. lemma OAI.CoulombAnalysis.radialMassIntegrand_integrable line 145
  17. lemma OAI.CoulombAnalysis.radialTailIntegrand_integrable line 149
  18. lemma OAI.CoulombAnalysis.radialMassIntegrand_continuousAt line 153
  19. lemma OAI.CoulombAnalysis.radialTailIntegrand_continuousAt line 160
  20. lemma OAI.CoulombAnalysis.radialMass_hasDerivAt line 167
  21. lemma OAI.CoulombAnalysis.radialTail_hasDerivAt line 175
  22. lemma OAI.CoulombAnalysis.radialMass_contDiffOn line 183
  23. lemma OAI.CoulombAnalysis.radialMass_eq_integral line 195
  24. lemma OAI.CoulombAnalysis.radialTail_eq_integral line 209
  25. def OAI.CoulombAnalysis.radialPotential line 224
  26. lemma OAI.CoulombAnalysis.tfPotential_eq_radialPotential line 226
  27. lemma OAI.CoulombAnalysis.radialPotential_hasDerivAt line 233
  28. lemma OAI.CoulombAnalysis.radialPotential_contDiffOn line 244