Documentation

Lean 4 Proof

def platformValue (aB aS ρ : ℝ) (nB nS : ℝ) : ℝ :=
  (aB * nB ^ ρ + aS * nS ^ ρ) ^ (1 / ρ)

Dependency Graph

Used by

Location

thesis/CESProofs/CurvatureRoles/NetworkCES.lean:746

Module Section

## Network Scaling Results

In the same file