OAI/Probability/RadialTransition/Model.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.RadialTransition.Position line 12

   Also declared: ComparatorChallenges/RadialDensityInterval.lean:12 (same declaration text), ComparatorChallenges/RadialTransition.lean:12 (same declaration text).

2. abbrev OAI.RadialTransition.Potential line 13

   Also declared: ComparatorChallenges/RadialDensityInterval.lean:13 (same declaration text), ComparatorChallenges/RadialTransition.lean:13 (same declaration text).

3. def OAI.RadialTransition.cube line 15

   Also declared: ComparatorChallenges/RadialDensityInterval.lean:15 (same declaration text), ComparatorChallenges/RadialTransition.lean:15 (same declaration text).

4. def OAI.RadialTransition.configurationCube line 18

   Also declared: ComparatorChallenges/RadialDensityInterval.lean:18 (same declaration text), ComparatorChallenges/RadialTransition.lean:18 (same declaration text).

5. def OAI.RadialTransition.energy line 21

   Also declared: ComparatorChallenges/RadialDensityInterval.lean:21 (same declaration text), ComparatorChallenges/RadialTransition.lean:21 (same declaration text).

6. def OAI.RadialTransition.partition line 24

   Also declared: ComparatorChallenges/RadialDensityInterval.lean:24 (same declaration text), ComparatorChallenges/RadialTransition.lean:24 (same declaration text).

7. def OAI.RadialTransition.packingNumber line 28

   Also declared: ComparatorChallenges/RadialDensityInterval.lean:28 (same declaration text), ComparatorChallenges/RadialTransition.lean:28 (same declaration text).

8. def OAI.RadialTransition.IsPackingDensity line 33

   Also declared: ComparatorChallenges/RadialDensityInterval.lean:33 (same declaration text), ComparatorChallenges/RadialTransition.lean:33 (same declaration text).

9. def OAI.RadialTransition.IsBoundedPotential line 36

   Also declared: ComparatorChallenges/RadialDensityInterval.lean:36 (same declaration text), ComparatorChallenges/RadialTransition.lean:36 (same declaration text).

10. def OAI.RadialTransition.StableWith line 39

    Also declared: ComparatorChallenges/RadialDensityInterval.lean:39 (same declaration text), ComparatorChallenges/RadialTransition.lean:39 (same declaration text).

11. def OAI.RadialTransition.AlgebraicDecayWith line 42

    Also declared: ComparatorChallenges/RadialDensityInterval.lean:42 (same declaration text), ComparatorChallenges/RadialTransition.lean:42 (same declaration text).

12. def OAI.RadialTransition.IsCanonicalFreeEnergy line 45

    Also declared: ComparatorChallenges/RadialDensityInterval.lean:45 (same declaration text), ComparatorChallenges/RadialTransition.lean:45 (same declaration text).

13. def OAI.RadialTransition.StrictTemperatureCorner line 51

    Also declared: ComparatorChallenges/RadialDensityInterval.lean:51 (same declaration text), ComparatorChallenges/RadialTransition.lean:51 (same declaration text).