OAI/Analysis/CoulombIonization/Fermionic/SlaterSymmetry.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombAtom.slaterRaw_perm line 20
  2. lemma OAI.CoulombAtom.slater_perm line 25
  3. abbrev OAI.CoulombAtom.SlaterParticle line 35
  4. def OAI.CoulombAtom.slaterParticles line 37
  5. def OAI.CoulombAtom.spatialOrbitalDerivative line 40
  6. lemma OAI.CoulombAtom.slaterCoordinateTensor_eq line 44
  7. lemma OAI.CoulombAtom.slater_spatial_tensor_smooth line 55
  8. lemma OAI.CoulombAtom.slater_spatial_tensor_compact line 65
  9. lemma OAI.CoulombAtom.slater_spatial_raw_smooth line 75
  10. lemma OAI.CoulombAtom.slater_spatial_smooth line 82
  11. lemma OAI.CoulombAtom.slater_spatial_compact line 87
  12. lemma OAI.CoulombAtom.slater_spatial_tensor_derivative line 103
  13. lemma OAI.CoulombAtom.slater_spatial_derivative line 137
  14. def OAI.CoulombAtom.slaterForm line 153
  15. lemma OAI.CoulombAtom.slaterForm_sobolevFermion line 157