Documentation

Lean 4 Proof

def convexAvgCost (p_0 β Q : ℝ) : ℝ := p_0 * (1 + β * Q / 2)

Dependency Graph

Used by

Location

thesis/CESProofs/Applications/KnowledgeCommons.lean:247

Module Section

Paper 10: The Knowledge Commons Paradox:

In the same file