OAI/Analysis/CoulombIonization/Model.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CoulombAtom.Space line 11

   Also declared: ComparatorChallenges/CoulombIonization.lean:11 (same declaration text).

2. abbrev OAI.CoulombAtom.Configuration line 12

   Also declared: ComparatorChallenges/CoulombIonization.lean:12 (same declaration text).

3. abbrev OAI.CoulombAtom.Spins line 13

   Also declared: ComparatorChallenges/CoulombIonization.lean:13 (same declaration text).

4. structure OAI.CoulombAtom.FormVector line 15

   Also declared: ComparatorChallenges/CoulombIonization.lean:15 (same declaration text).

5. def OAI.CoulombAtom.direction line 19

   Also declared: ComparatorChallenges/CoulombIonization.lean:19 (same declaration text).

6. def OAI.CoulombAtom.FormAdmissible line 22

   Also declared: ComparatorChallenges/CoulombIonization.lean:22 (same declaration text).

7. def OAI.CoulombAtom.formEnergy line 37

   Also declared: ComparatorChallenges/CoulombIonization.lean:37 (same declaration text).

8. def OAI.CoulombAtom.energy line 46

   Also declared: ComparatorChallenges/CoulombIonization.lean:46 (same declaration text).

9. def OAI.CoulombAtom.ionization line 50

   Also declared: ComparatorChallenges/CoulombIonization.lean:50 (same declaration text).

10. def OAI.CoulombAtom.tfKinetic line 53

    Also declared: ComparatorChallenges/CoulombIonization.lean:53 (same declaration text).

11. def OAI.CoulombAtom.directIntegrand line 55

    Also declared: ComparatorChallenges/CoulombIonization.lean:55 (same declaration text).

12. def OAI.CoulombAtom.TFAdmissible line 58

    Also declared: ComparatorChallenges/CoulombIonization.lean:58 (same declaration text).

13. def OAI.CoulombAtom.tfFunctional line 63

    Also declared: ComparatorChallenges/CoulombIonization.lean:63 (same declaration text).

14. def OAI.CoulombAtom.tfEnergy line 67

    Also declared: ComparatorChallenges/CoulombIonization.lean:67 (same declaration text).

15. def OAI.CoulombAtom.tfIonization line 70

    Also declared: ComparatorChallenges/CoulombIonization.lean:70 (same declaration text).

16. def OAI.CoulombAtom.TFCharacterization line 72

    Also declared: ComparatorChallenges/CoulombIonization.lean:72 (same declaration text).

17. def OAI.CoulombAtom.JointLimit line 76

    Also declared: ComparatorChallenges/CoulombIonization.lean:76 (same declaration text).

18. def OAI.CoulombAtom.IteratedLimits line 83

    Also declared: ComparatorChallenges/CoulombIonization.lean:83 (same declaration text).

19. def OAI.CoulombAtom.MainStatement line 89

    Also declared: ComparatorChallenges/CoulombIonization.lean:89 (same declaration text).