OAI/Analysis/CoulombRadii/FormDomain/SortedCut.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.Antisymmetric.congr_ae line 15
2. lemma OAI.Coulomb.Antisymmetric.permutation line 23
3. lemma OAI.Coulomb.mass_congr_ae line 30
4. lemma OAI.Coulomb.kinetic_congr_ae line 38
5. lemma OAI.Coulomb.potentialEnergy_congr_ae line 50
6. lemma OAI.Coulomb.form_congr_ae line 58
7. lemma OAI.Coulomb.form_permutation line 64
8. lemma OAI.Coulomb.tensorCut_permute line 72
9. lemma OAI.Coulomb.labelCut_permute_value line 81
10. theorem OAI.Coulomb.binary_cut_core_outcome line 92