OAI/Probability/SKSupport/Foundations/VarianceHeat.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ZeroTemperatureSK.Heat.hasDerivAt_scaled_second line 18
2. def OAI.ZeroTemperatureSK.Heat.varianceHeat line 35
3. lemma OAI.ZeroTemperatureSK.Heat.varianceHeat_zero line 37
4. lemma OAI.ZeroTemperatureSK.Heat.continuous_varianceHeat line 40
5. lemma OAI.ZeroTemperatureSK.Heat.varianceHeat_eq_semigroup line 44
6. lemma OAI.ZeroTemperatureSK.Heat.hasDerivAt_varianceHeat_pos line 47
7. lemma OAI.ZeroTemperatureSK.Heat.hasDerivWithinAt_varianceHeat line 58