Documentation

Lean 4 Proof

def jacobianTrace (df_rho_drho df_T_dT : ℝ) : ℝ := df_rho_drho + df_T_dT

Dependency Graph

Used by

Location

thesis/CESProofs/Dynamics/CoupledRhoT.lean:29

Module Section

Coupled (ρ, T) Jacobian Analysis

In the same file