OAI/Analysis/CoulombIonization/Variational/Pointwise.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.square_partition_derivative line 84
2. lemma OAI.CoulombAtom.complex_norm_square_expansion line 103
3. lemma OAI.CoulombAtom.finite_complex_ims line 110
4. lemma OAI.CoulombAtom.finite_complex_partition line 118