OAI/Probability/ContinuumTransition/Model.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ContinuumTemperature.Space line 10

   Also declared: ComparatorChallenges/ContinuumTransition.lean:10 (same declaration text).

2. def OAI.ContinuumTemperature.radialPotential line 12

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

3. def OAI.ContinuumTemperature.energy line 15

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

4. def OAI.ContinuumTemperature.Admissible line 19

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

5. def OAI.ContinuumTemperature.cube line 30

   Also declared: ComparatorChallenges/ContinuumTransition.lean:30 (same declaration text).

6. def OAI.ContinuumTemperature.boltzmann line 33

   Also declared: ComparatorChallenges/ContinuumTransition.lean:33 (same declaration text).

7. def OAI.ContinuumTemperature.partition line 37

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

8. def OAI.ContinuumTemperature.HasCanonicalFreeEnergy line 42

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

9. def OAI.ContinuumTemperature.MainStatement line 47

   Also declared: ComparatorChallenges/ContinuumTransition.lean:47 (same declaration text).