Between Curvature

def proved Dynamics & Crises

Lean 4 Proof

def betweenCurvature (Ktilde VarRho : ℝ) : ℝ :=
  Ktilde * VarRho

Dependency Graph

Used by

between_curvature_pos totalCurvature two_level_ces_curvature

Location

thesis/CESProofs/Dynamics/Closure.lean:61

Module Section

Results 80-85: Rho-Diversity Selection and Closure

In the same file

establishing rho_diversity_selection withinCurvature totalCurvature two_level_ces_curvature between_curvature_pos total_exceeds_within industrial_policy_diversity closure_no_free_params closure_integrability closure_topological