OAI/Analysis/CoulombIonization/FormDomain/SobolevVector.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.SobolevVector line 82
2. lemma OAI.CoulombAtom.SobolevFermion.sobolevVector line 87
3. def OAI.CoulombAtom.multiplyForm line 90
4. lemma OAI.CoulombAtom.SobolevVector.multiply line 96
5. lemma OAI.CoulombAtom.SobolevFermion.multiply line 105
6. lemma OAI.CoulombAtom.SobolevVector.nuclear_integrable line 116
7. lemma OAI.CoulombAtom.SobolevVector.pair_integrable line 121