OAI/Analysis/CoulombIonization/Fermionic/Pauli.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombPauli.update_pair_swap line 17
2. lemma OAI.CoulombPauli.project_pair_swap line 30
3. lemma OAI.CoulombPauli.project_pair_eq_zero line 41
4. lemma OAI.CoulombPauli.project_inner line 52
5. lemma OAI.CoulombPauli.project_pair_orthogonal line 57
6. lemma OAI.CoulombPauli.insertOrbital_norm line 62
7. lemma OAI.CoulombPauli.project_inner_self line 66
8. lemma OAI.CoulombPauli.project_norm_equal line 75
9. lemma OAI.CoulombPauli.sum_project_norm_sq_le line 84
10. lemma OAI.CoulombPauli.occupation_le_one line 111