Documentation

Lean 4 Proof

def convergenceRateEntry (lambda : ℝ) (structural_factor : ℝ) : ℝ :=
  lambda * structural_factor

Dependency Graph

Used by

Location

thesis/CESProofs/Dynamics/EntryExitDynamics.lean:215

Module Section

## Entry-Exit Dynamics

In the same file