Documentation

Lean 4 Proof

def frontLoadedRevenue (R_0 γ φ : ℝ) : ℝ :=
  R_0 * (1 - φ) ^ (1 + γ)

Dependency Graph

Used by

Location

thesis/CESProofs/Applications/KnowledgeCommons.lean:207

Module Section

Paper 10: The Knowledge Commons Paradox:

In the same file