Documentation

Lean 4 Proof

def crossingTemperature (DeltaPhi DeltaS_q : ℝ) : ℝ := DeltaPhi / DeltaS_q

Dependency Graph

Used by

Location

thesis/CESProofs/Dynamics/SymmetricAdjustment.lean:223

Module Section

Results 17-25: Symmetric Adjustment and Transition Rates

In the same file