OAI/Probability/SKRatio/Variational/ScalarTemperature.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKRatio.Scalar.variance_ne_zero line 11
2. lemma OAI.SKRatio.Scalar.field_pdf line 17
3. lemma OAI.SKRatio.Scalar.thermal_prefactor_deriv line 26
4. lemma OAI.SKRatio.Scalar.thermal_prefactor_mono line 34
5. lemma OAI.SKRatio.Scalar.scaled_field_pdf line 43
6. lemma OAI.SKRatio.Scalar.scaled_field_pdf_mono line 51
7. theorem OAI.SKRatio.Scalar.scaled_fieldLaw_mono line 65
8. lemma OAI.SKRatio.Scalar.scaled_integral_mono line 78
9. lemma OAI.SKRatio.Scalar.integral_diagonal_kernel line 85
10. lemma OAI.SKRatio.Scalar.diagonal_temperature_mono line 92
11. lemma OAI.SKRatio.Scalar.cost_temperature_mono line 98