OAI/Probability/SKSupport/Backward/TiltedBackward.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ZeroTemperatureSK.Heat.varianceTilted_time_continuous line 13
  2. lemma OAI.ZeroTemperatureSK.Heat.varianceTilted_joint_continuous line 25
  3. def OAI.ZeroTemperatureSK.Heat.tiltedRate line 49
  4. lemma OAI.ZeroTemperatureSK.Heat.tiltedRate_family line 53
  5. lemma OAI.ZeroTemperatureSK.Heat.tiltedRate_continuousOn line 59
  6. def OAI.ZeroTemperatureSK.Heat.tiltedBackward line 70
  7. def OAI.ZeroTemperatureSK.Heat.tiltedBackwardRate line 72
  8. lemma OAI.ZeroTemperatureSK.Heat.tiltedBackward_family line 74
  9. lemma OAI.ZeroTemperatureSK.Heat.tiltedBackwardRate_family line 81
  10. lemma OAI.ZeroTemperatureSK.Heat.tiltedBackward_continuous line 89
  11. lemma OAI.ZeroTemperatureSK.Heat.tiltedBackwardRate_continuousOn line 94
  12. lemma OAI.ZeroTemperatureSK.Heat.tiltedBackward_time line 103
  13. lemma OAI.ZeroTemperatureSK.Heat.tiltedBackward_integrated_rate line 111
  14. lemma OAI.ZeroTemperatureSK.Heat.tiltedBackward_terminal line 127