OAI/Probability/ContinuumTransition/ConstructionBounds.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ContinuumTemperature.moderateBox line 11
2. lemma OAI.ContinuumTemperature.initial_ball_moderate line 13
3. lemma OAI.ContinuumTemperature.moderateBox_subset line 23
4. lemma OAI.ContinuumTemperature.physicalProfile_zero line 28
5. lemma OAI.ContinuumTemperature.physical_convex_bounded line 33
6. lemma OAI.ContinuumTemperature.physical_meanField_bounded line 42
7. lemma OAI.ContinuumTemperature.physical_meanField_bounded_attainment line 55
8. lemma OAI.ContinuumTemperature.strong_smallness line 66