OAI/Analysis/CoulombIonization/Variational/ConfigurationCoordinates.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CoulombAtom.configurationCoordinates line 18
2. lemma OAI.CoulombAtom.configurationCoordinates_apply line 26
3. lemma OAI.CoulombAtom.configurationCoordinates_symm_apply line 29
4. lemma OAI.CoulombAtom.configurationCoordinates_eq_flatten line 32
5. lemma OAI.CoulombAtom.configurationCoordinates_preserving line 35
6. lemma OAI.CoulombAtom.configurationCoordinates_symm_preserving line 56
7. lemma OAI.CoulombAtom.configurationCoordinates_single line 61
8. lemma OAI.CoulombAtom.configurationCoordinates_permute line 67
9. lemma OAI.CoulombAtom.integral_configurationCoordinates line 76
10. lemma OAI.CoulombAtom.integral_configurationCoordinates_symm line 82