Documentation

Lean 4 Proof

def entryTimescale (lambda : ℝ) (log_factor : ℝ) : ℝ :=
  log_factor / lambda

Dependency Graph

Used by

Location

thesis/CESProofs/Dynamics/EntryExitDynamics.lean:233

Module Section

## Entry-Exit Dynamics

In the same file