OAI/Analysis/CoulombIonization/ThomasFermi/TfWeight.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombAnalysis.tf_power_strongConvex line 32
  2. lemma OAI.CoulombAnalysis.tf_power_midpoint_gap line 63
  3. def OAI.CoulombAnalysis.tfWeight line 79
  4. lemma OAI.CoulombAnalysis.tfWeight_nonneg line 81
  5. lemma OAI.CoulombAnalysis.tfWeight_le line 84
  6. lemma OAI.CoulombAnalysis.tfWeight_interpolation line 91
  7. lemma OAI.CoulombAnalysis.tf_integrable line 113
  8. lemma OAI.CoulombAnalysis.tfWeight_integrable line 120
  9. lemma OAI.CoulombAnalysis.tfWeight_integral_gap line 131
  10. lemma OAI.CoulombAnalysis.integrable_rpow_inv_memLp line 155
  11. lemma OAI.CoulombAnalysis.integral_rpow_inv_rpow line 166
  12. lemma OAI.CoulombAnalysis.tfWeight_integral_interpolation line 173
  13. instance OAI.CoulombAnalysis.tfLpFact line 206