OAI/Analysis/CoulombIonization/Fermionic/ManyTest.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.Pauli.manyTest line 23
2. lemma OAI.CoulombAtom.Pauli.manyTest_ae line 26
3. lemma OAI.CoulombAtom.Pauli.toMany_eq_pull line 38
4. lemma OAI.CoulombAtom.Pauli.manyTest_inner line 45
5. lemma OAI.CoulombAtom.Pauli.manyTest_total line 51
6. def OAI.CoulombAtom.Pauli.coordinateSplit line 67
7. lemma OAI.CoulombAtom.Pauli.coordinateSplit_apply line 72
8. lemma OAI.CoulombAtom.Pauli.coordinateSplit_symm_apply line 75
9. lemma OAI.CoulombAtom.Pauli.coordinateTest line 78