OAI/Analysis/CoulombRadii/Packets/ScaledWindow.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Coulomb.scaledWindow line 13
  2. lemma OAI.Coulomb.scaledWindow_apply line 17
  3. lemma OAI.Coulomb.space_integral_inv_smul line 20
  4. lemma OAI.Coulomb.scaledWindow_mass line 25
  5. lemma OAI.Coulomb.scaledWindow_fderiv line 31
  6. lemma OAI.Coulomb.scaledWindow_kinetic line 44
  7. lemma OAI.Coulomb.scaledWindow_support line 56
  8. lemma OAI.Coulomb.scaledWindow_compactSupport line 63
  9. lemma OAI.Coulomb.scaledWindow_radial line 70
  10. def OAI.Coulomb.windowSeed line 90
  11. lemma OAI.Coulomb.windowSeed_smooth line 92
  12. lemma OAI.Coulomb.windowSeed_support line 96
  13. lemma OAI.Coulomb.windowSeed_compact line 100
  14. lemma OAI.Coulomb.windowSeed_mass_pos line 107
  15. def OAI.Coulomb.unitWindow line 114
  16. lemma OAI.Coulomb.unitWindow_apply line 118
  17. lemma OAI.Coulomb.unitWindow_mass line 121
  18. lemma OAI.Coulomb.unitWindow_support line 125
  19. lemma OAI.Coulomb.unitWindow_radial line 128
  20. lemma OAI.Coulomb.unitWindow_kinetic_nonneg line 131