OAI/Probability/SKSupport/Density/RatioComparison.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ZeroTemperatureSK.Heat.BackwardShape.zero line 13
  2. lemma OAI.ZeroTemperatureSK.Heat.BackwardShape.pos line 18
  3. theorem OAI.ZeroTemperatureSK.Heat.ReverseBurgers.ratio_nonneg_interior line 22
  4. theorem OAI.ZeroTemperatureSK.Heat.ReverseBurgers.ratio_nonneg line 102
  5. def OAI.ZeroTemperatureSK.Heat.datumScore line 137
  6. lemma OAI.ZeroTemperatureSK.Heat.forwardScore_eq_datumScore line 139
  7. lemma OAI.ZeroTemperatureSK.Heat.forwardScore_initial line 144
  8. lemma OAI.ZeroTemperatureSK.Heat.datumScore_deriv line 148
  9. lemma OAI.ZeroTemperatureSK.Heat.datumScore_jump line 155
  10. lemma OAI.ZeroTemperatureSK.Heat.ratioWronskian_jump line 166
  11. lemma OAI.ZeroTemperatureSK.Heat.ratioWronskian_first_jump line 189