OAI/Analysis/CoulombRadii/Model.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.NeutralAtom.Position line 12

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

2. abbrev OAI.NeutralAtom.Configuration line 13

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

3. abbrev OAI.NeutralAtom.Spins line 14

   Also declared: ComparatorChallenges/CoulombRadii.lean:14 (same declaration text).

4. abbrev OAI.NeutralAtom.Wavefunction line 15

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

5. abbrev OAI.NeutralAtom.Gradient line 16

   Also declared: ComparatorChallenges/CoulombRadii.lean:16 (same declaration text).

6. def OAI.NeutralAtom.coordinateDirection line 18

   Also declared: ComparatorChallenges/CoulombRadii.lean:18 (same declaration text).

7. def OAI.NeutralAtom.HasWeakGradient line 21

   Also declared: ComparatorChallenges/CoulombRadii.lean:21 (same declaration text).

8. def OAI.NeutralAtom.IsAntisymmetric line 26

   Also declared: ComparatorChallenges/CoulombRadii.lean:26 (same declaration text).

9. def OAI.NeutralAtom.FormDomain line 31

   Also declared: ComparatorChallenges/CoulombRadii.lean:31 (same declaration text).

10. def OAI.NeutralAtom.normSquared line 39

    Also declared: ComparatorChallenges/CoulombRadii.lean:39 (same declaration text).

11. def OAI.NeutralAtom.coulombPotential line 42

    Also declared: ComparatorChallenges/CoulombRadii.lean:42 (same declaration text).

12. def OAI.NeutralAtom.energy line 46

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

13. def OAI.NeutralAtom.IsNormalizedGroundState line 51

    Also declared: ComparatorChallenges/CoulombRadii.lean:51 (same declaration text).

14. def OAI.NeutralAtom.density line 56

    Also declared: ComparatorChallenges/CoulombRadii.lean:56 (same declaration text).

15. def OAI.NeutralAtom.exteriorMass line 60

    Also declared: ComparatorChallenges/CoulombRadii.lean:60 (same declaration text).

16. def OAI.NeutralAtom.radius line 63

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

17. def OAI.NeutralAtom.bTF line 66

    Also declared: ComparatorChallenges/CoulombRadii.lean:66 (same declaration text).

18. def OAI.NeutralAtom.largeCharge line 68

    Also declared: ComparatorChallenges/CoulombRadii.lean:68 (same declaration text).

19. def OAI.NeutralAtom.upperRadius line 71

    Also declared: ComparatorChallenges/CoulombRadii.lean:71 (same declaration text).

20. def OAI.NeutralAtom.lowerRadius line 74

    Also declared: ComparatorChallenges/CoulombRadii.lean:74 (same declaration text).