OAI/Analysis/CoulombIonization/Fermionic/SlaterBody.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.complex_integral_norm_sq line 16
2. lemma OAI.CoulombAtom.integral_norm_sq_weighted_sum line 27
3. def OAI.CoulombAtom.slaterCoordinateTensor line 52
4. def OAI.CoulombAtom.slaterCoordinateRaw line 56
5. lemma OAI.CoulombAtom.memLp_slaterCoordinateTensor line 59
6. lemma OAI.CoulombAtom.memLp_slaterCoordinateRaw line 76
7. lemma OAI.CoulombAtom.slaterCoordinateTensor_inner line 81
8. lemma OAI.CoulombAtom.slaterCoordinateRaw_norm_sq_integral line 107
9. lemma OAI.CoulombAtom.slaterCoordinateRaw_sum_norm_sq_integral line 129