Documentation

Lean 4 Proof

def asymmetryRatio (J : ℕ) (ρ : ℝ) (ε : ℝ) : ℝ :=
  1 + curvatureK J ρ * ε

Dependency Graph

Used by

Location

thesis/CESProofs/Foundations/FurtherProperties.lean:45

Module Section

Further properties of CES curvature (Paper 1, Section 9):

In the same file