OAI/Analysis/CoulombIonization/Variational/ExpectedTruncatedControl.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CoulombAtom.weightedPatchTestAbs line 26
  2. lemma OAI.CoulombAtom.patchTestError_aestronglyMeasurable line 35
  3. lemma OAI.CoulombAtom.weightedPatchTruncatedAbs_integrable line 50
  4. theorem OAI.CoulombAtom.radial_truncated_absolute_control line 62
  5. def OAI.CoulombAtom.masterSmearing line 120
  6. lemma OAI.CoulombAtom.scaled_packet_density_compact line 123
  7. lemma OAI.CoulombAtom.masterKernel_pole_measurable line 129
  8. lemma OAI.CoulombAtom.master_potential_integrable line 136
  9. lemma OAI.CoulombAtom.master_smearing_pole_integrable line 151
  10. lemma OAI.CoulombAtom.masterSmearing_potential line 173
  11. theorem OAI.CoulombAtom.masterSmearing_potential_loss line 186