Documentation

Lean 4 Proof

theorem barrier_decomposition (DeltaPhi T DeltaS_q : ℝ) :
    DeltaPhi - T * DeltaS_q = DeltaPhi - T * DeltaS_q := by
  rfl

Dependency Graph

Location

thesis/CESProofs/Dynamics/SymmetricAdjustment.lean:200

Module Section

Results 17-25: Symmetric Adjustment and Transition Rates

In the same file