OAI/Analysis/CoulombIonization/Fermionic/InsertTest.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAtom.Pauli.coordinateSplit_direction line 24
2. def OAI.CoulombAtom.Pauli.insertTest line 32
3. lemma OAI.CoulombAtom.Pauli.insertTest_deriv line 35
4. lemma OAI.CoulombAtom.Pauli.insertTest_apply line 42
5. lemma OAI.CoulombAtom.Pauli.insertOrbital_ae line 46
6. lemma OAI.CoulombAtom.Pauli.oneTest_ae line 52
7. lemma OAI.CoulombAtom.Pauli.insertOrbital_manyTest line 61