Documentation

Lean 4 Proof

theorem kramers_rate (DeltaF T : ℝ) (hT : 0 < T) :
    -- k ~ prefactor * exp(-DeltaF / T)
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/SymmetricAdjustment.lean:116

Module Section

Results 17-25: Symmetric Adjustment and Transition Rates

In the same file