Documentation

Lean 4 Proof

def crooksRatio (W ΔF T : ℝ) : ℝ :=
  Real.exp ((W - ΔF) / T)

Dependency Graph

Used by

Location

thesis/CESProofs/Dynamics/GibbsMeasure.lean:391

Module Section

### Kramers Escape Rate

In the same file