Documentation

Lean 4 Proof

def gaussCurvature (J : ℕ) (ρ c : ℝ) : ℝ :=
  cesPrincipalCurvature J ρ c ^ (J - 1)

Dependency Graph

Used by

Location

thesis/CESProofs/Foundations/IsoquantGeometry.lean:73

Module Section

Differential Geometry of CES Isoquants (Gap #6)

In the same file