Documentation

Lean 4 Proof

def returnRate (lambda structural_factor distance_to_fold : ℝ) : ℝ :=
  lambda * structural_factor * distance_to_fold

Dependency Graph

Used by

Location

thesis/CESProofs/Dynamics/CoupledRhoT.lean:294

Module Section

## Coupled (ρ, T, J) System (merged from CoupledSystem.lean)

In the same file