Documentation

Lean 4 Proof

def medianTransitionTime (k : ℝ) : ℝ := Real.log 2 / k

Dependency Graph

Used by

Location

thesis/CESProofs/Dynamics/SymmetricAdjustment.lean:134

Module Section

Results 17-25: Symmetric Adjustment and Transition Rates

In the same file