OAI/Probability/SKSupport/Foundations/Equation.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ZeroTemperatureSK.valueRate line 14
2. lemma OAI.ZeroTemperatureSK.approxRate_eq line 17
3. lemma OAI.ZeroTemperatureSK.approxRate_tendsto line 25
4. lemma OAI.ZeroTemperatureSK.approxRate_bounded_on line 40
5. lemma OAI.ZeroTemperatureSK.approxRate_integral_limit line 64
6. theorem OAI.ZeroTemperatureSK.value_integral_rate line 92
7. lemma OAI.ZeroTemperatureSK.compactGradient_family line 116
8. def OAI.ZeroTemperatureSK.compactValueRate line 132
9. lemma OAI.ZeroTemperatureSK.compactValueRate_family line 135
10. lemma OAI.ZeroTemperatureSK.compactRate_integral_derivative line 154
11. theorem OAI.ZeroTemperatureSK.value_derivative_time_bound line 175